by: H. Banieqbal · H. Barringer
Paperback
ISBN: 978-0-387-51803-9
ISBN-10: 0-387-51803-7
Springer Verlag · 1989
|
|
by: H. Banieqbal · H. BarringerPaperback
ISBN: 978-0-387-51803-9 ISBN-10: 0-387-51803-7 Springer Verlag · 1989 |
| See also (possibly by other authors): | ||
| 2008 | Taschenbuch | Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science (398), Band 398) |