Temporal Logics in Computer Science: Finite-State Systems (Cambridge Tracts in Theoretical Computer Science)

Cambridge

by Valentin Goranko , Martin Lange Stéphane Demri

Hardcover

ISBN: 978-1-107-02836-4

ISBN-10: 1-107-02836-1

Cambridge University Press · 2016