×
  • Temporal Logics in Computer Science: Finite-State Systems

    Stéphane Demri Valentin Goranko Martin Lange

Click on cover to enlarge.
Buy This Book
From Amazon.
17 - 19Hours to read