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: | 27 Jul 2012 01:26 |
| Identification Number: | |
| URI: | http://eprints.lancs.ac.uk/id/eprint/11865 |
Actions (login required)
| View Item |
