Temporal Logics in Computer Science
Subtitle: Finite-State Systems
Publisher: Cambridge University Press
Published: 2016
Language: eng
ISBN-13: 9781316728567
Subjects: Logic; Computer science