Temporal Logic
First International Conference, Ictl '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Springer (Publisher)
Published on 1. August 1994
Book
Hardback
545 pages
978-0-387-58241-2 (ISBN)
More details
Series
Language
English
Product notice
Unsewn / adhesive bound
ISBN-13
978-0-387-58241-2 (9780387582412)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification