Searching for "An Action-Based Formal Model for Concurrent Real-Time Systems." – sorted by Relevance.
-
An Action-Based Formal Model for Concurrent, Real-Time Systems
- Queensland 4072 Australia TECHNICAL REPORT No. 95-1 An Action-Based Formal Model for Concurrent Real-Time
- Cited by 10 (3 self) – Add To MetaCart

