Specifying message passing and time-critical systems with temporal logic / R. Koymans.
Saved in:
| Published: |
Berlin ; New York :
Springer-Verlag,
c1992.
|
|---|---|
| Main Author: | |
| Series: | Lecture notes in computer science ;
651 |
| Subjects: | |
| Format: | Book |
Library Storage, Request for Retrieval
|
Call Number
Copy
Loan Type
Status
Request
|
|||||
