Search results for: R. Grosu
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 229-243
Lecture Notes in Computer Science > FME '97: Industrial Applications and Strengthened Foundations of Formal Methods > 182-200
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 245-258
2015 54th IEEE Conference on Decision and Control (CDC) > 6978 - 6985
Theoretical Computer Science > 2009 > 410 > 33-34 > 3149-3165
IET Systems Biology > 2008 > 2 > 1 > 24 - 32