Temporal verification of reactive systems Safety

Temporal verification of reactive systems Safety

Bibliographic Details
Main Authors: Manna, Zohar (Author), Pnueli, Amir (Author)
Format: Book
Language:English
Published: New York Springer-Verlag c1995
Subjects:
COMPUTER SOFTWARE
ΕΠΕΑΕΚ

ΒΚΠ - Πατρα: ALFe

Holdings details from ΒΚΠ - Πατρα: ALFe
Call Number: 005.2 MAN
Copy 1 Available

Similar Items