by Dov M. Gabbay
Paperback
ISBN: 978-0-387-58241-2
ISBN-10: 0-387-58241-X
Springer Verlag · 1994
|
|
by Dov M. GabbayPaperback
ISBN: 978-0-387-58241-2 ISBN-10: 0-387-58241-X Springer Verlag · 1994 |
| See also: | ||
| 2008 | Taschenbuch | Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science, Band 827) |