Temporal Logics in Computer Science - Classical Theory
Temporal Logics in Computer Science - Classical Theory
Stéphane Demri
,
Valentin Goranko
,
Martin Lange
Details
OL Work ID
OL25049591W
Subjects
Computer science
Find this book
Open Library