Time for logic

R. Alur, T.A. Henzinger, SIGACT News 22 (1991) 6–12.

Download
No fulltext has been uploaded. References only!
Journal Article | Published
Author
Publishing Year
Date Published
1991-01-01
Journal Title
SIGACT News
Volume
22
Issue
3
Page
6 - 12
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, 22(3), 6–12.
Alur, Rajeev, and Thomas A Henzinger. “Time for Logic.” SIGACT News 22, no. 3 (1991): 6–12.
R. Alur and T. A. Henzinger, “Time for logic,” SIGACT News, vol. 22, no. 3, 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.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar