Search results for: Jan H. Schuppen
Lecture Notes in Computer Science > Formal Methods for Components and Objects > System Design > 44-63
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 265-279
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 80-94
Lecture Notes in Computer Science
Discrete Event Dynamic Systems > 2015 > 25 > 1-2 > 65-94
Acta Applicandae Mathematicae > 2010 > 110 > 2 > 605-626
Journal of Mathematical Biology > 2009 > 58 > 1-2 > 7-34
Discrete Event Dynamic Systems > 2005 > 15 > 3 > 257-315