Time for logic Journal Article


Author(s): Alur, Rajeev; Henzinger, Thomas A
Article Title: Time for logic
Affiliation
Journal Title: SIGACT News
Volume: 22
Issue 3
Publisher: ACM  
Date Published: 1991-01-01
Start Page: 6
End Page: 12
URL:
Open access: no
IST Austria Authors
  1. Thomas A. Henzinger
    415 Henzinger