Specification and Analysis of Automata-Based Designs

Blair, Lynne and Bryans, J. and Bowman, H. and Derrick, J. (2000) Specification and Analysis of Automata-Based Designs. In: Second International Conference on Integrated Formal Methods (IFM 2000), 1900-01-01. (Unpublished)

Full text not available from this repository.
Item Type: Contribution to Conference (Other)
Journal or Publication Title: Second International Conference on Integrated Formal Methods (IFM 2000)
Uncontrolled Keywords: /dk/atira/pure/researchoutput/libraryofcongress/qa75
Subjects:
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 11888
Deposited By: ep_importer_comp
Deposited On: 07 Jul 2011 15:51
Refereed?: No
Published?: Unpublished
Last Modified: 06 Jul 2019 01:18
URI: https://eprints.lancs.ac.uk/id/eprint/11888

Actions (login required)

View Item View Item