Time for logic - Alur, Rajeev; Henzinger, Thomas A (SIGACT News, 1991)
published
yes
yes
Keywords: article