Lancaster EPrints

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: Conference or Workshop Item (Other)
Journal or Publication Title: Second International Conference on Integrated Formal Methods (IFM 2000)
Uncontrolled Keywords: cs_eprint_id ; 350 cs_uid ; 1
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 11888
Deposited By: ep_importer_comp
Deposited On: 07 Jul 2011 16:51
Refereed?: No
Published?: Unpublished
Last Modified: 17 Sep 2013 09:52
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/11888

Actions (login required)

View Item