Time for logic

Alur R, Henzinger TA. 1991. Time for logic. SIGACT News. 22(3), 6–12.

Download
No fulltext has been uploaded. References only!
Journal Article | Published | English
Author
Alur, Rajeev; Henzinger, Thomas AISTA
Publishing Year
Date Published
1991-01-01
Journal Title
SIGACT News
Publisher
ACM
Volume
22
Issue
3
Page
6 - 12
ISSN
IST-REx-ID

Cite this

Alur R, Henzinger TA. Time for logic. SIGACT News. 1991;22(3):6-12.
Alur, R., & Henzinger, T. A. (1991). Time for logic. SIGACT News. ACM.
Alur, Rajeev, and Thomas A Henzinger. “Time for Logic.” SIGACT News. ACM, 1991.
R. Alur and T. A. Henzinger, “Time for logic,” SIGACT News, vol. 22, no. 3. ACM, pp. 6–12, 1991.
Alur R, Henzinger TA. 1991. Time for logic. SIGACT News. 22(3), 6–12.
Alur, Rajeev, and Thomas A. Henzinger. “Time for Logic.” SIGACT News, vol. 22, no. 3, ACM, 1991, pp. 6–12.

Link(s) to Main File(s)
Access Level
Restricted Closed Access

Export

Marked Publications

Open Data ISTA Research Explorer

Search this title in

Google Scholar