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.