×
  • Decidability, Completeness, and Extensions of Linear Temporal Logic [PhD Thesis]

    Lichtenstein O.

Click on cover to enlarge.
Buy This Book
From Amazon.
5 - 6Hours to read