Real-time LOTOS and Timed Observations.
Tools
Davies, J, Bryans, J and Schneider, S (1995) Real-time LOTOS and Timed Observations. In: 8th International Conference on Formal Description Techniques, ? - ?.
Full text not available from this repository.Item Type: | Conference or Workshop Item (UNSPECIFIED) | ||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Divisions : | Surrey research (other units) | ||||||||||||||||||||
Authors : |
|
||||||||||||||||||||
Date : | 1995 | ||||||||||||||||||||
Contributors : |
|
||||||||||||||||||||
Depositing User : | Symplectic Elements | ||||||||||||||||||||
Date Deposited : | 17 May 2017 11:30 | ||||||||||||||||||||
Last Modified : | 23 Jan 2020 16:55 | ||||||||||||||||||||
URI: | http://epubs.surrey.ac.uk/id/eprint/831622 |
Actions (login required)
![]() |
View Item |
Downloads
Downloads per month over past year