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: Contribution to Conference (Other)
Journal or Publication Title: Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000)
Uncontrolled Keywords: /dk/atira/pure/researchoutput/libraryofcongress/qa75
Subjects:
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 11865
Deposited By: ep_importer_comp
Deposited On: 07 Jul 2011 15:51
Refereed?: No
Published?: Unpublished
Last Modified: 22 Jun 2019 09:21
URI: https://eprints.lancs.ac.uk/id/eprint/11865

Actions (login required)

View Item View Item