- Title
- Real-time LOTOS and Timed Observations.
- Creators
- J DaviesJ BryansS Schneider
- Contributors
- GV BochmannR DssouliO RafiqChapman & Hall (Publisher)
- Publication Details
- FORTE 1995, Vol.43, pp.383-397
- Conference
- 8th International Conference on Formal Description Techniques
- Date published
- 1995
- Date submitted
- 17/05/2017
- Identifiers
- 99513889902346
- Academic Unit
- University of Surrey
- Resource Type
- Conference presentation
Conference presentation
Real-time LOTOS and Timed Observations.
FORTE 1995, Vol.43, pp.383-397
8th International Conference on Formal Description Techniques
1995
Metrics
13 Record Views