×
  • Logics and Models of Concurrent Systems

    E. M. Clarke

Click on cover to enlarge.
Buy This Book
From Amazon.