The temporal logic of reactive and concurrent systems

Bibliographic Details
Main Author: Manna, Zohar (Author)
Other Involved Persons: Pnueli, Amir
Format: Book
Language:English
Published: New York [u.a.] : Springer 1992-
Item Description:Bd. 2 u.d.T.: Manna, Zohar: Temporal verification of reactive systems
Subjects:
Related Items:1 Related Items
QR Code: Show QR Code

Ilmenau University Library

Holdings details from Universitätsbibliothek Ilmenau
Shelf Mark: -

1 Related Items
Feedback Delivery Service Acquisition Suggestion