by Ron Koymans
Paperback
ISBN: 978-0-387-56283-4
ISBN-10: 0-387-56283-4
Springer Verlag · 1992
|
|
by Ron KoymansPaperback
ISBN: 978-0-387-56283-4 ISBN-10: 0-387-56283-4 Springer Verlag · 1992 |
| See also: | ||
| 2008 | Taschenbuch | Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, Band 651) |