Lancaster EPrints

Stochastically Enhanced Timed Automata

Blair, Lynne and Blair, Gordon S. and Jones, T. (2000) Stochastically Enhanced Timed Automata. In: Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), 1900-01-01. (Unpublished)

Full text not available from this repository.
Item Type: Conference or Workshop Item (Other)
Journal or Publication Title: Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000)
Uncontrolled Keywords: cs_eprint_id ; 326 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: 11865
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/11865

Actions (login required)

View Item