Search results for: S. A. Smolka
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 229-243
Lecture Notes in Computer Science > CONCUR '92 > 472-485
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 245-258