Real-time LOTOS and Timed Observations.

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 :	Name Email ORCID Davies, J Bryans, J Schneider, S s.schneider@surrey.ac.uk
Date :	1995
Contributors :	Contribution Name Email ORCID Bochmann, GV Dssouli, R Rafiq, O publisher Chapman & Hall,
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