Search results for: Thomas Stauner
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 75-91
Lecture Notes in Control and Information Sciences > Modelling, Analysis, and Design of Hybrid Systems > Modeling > 37-51
Macromolecular Bioscience > 12 > 2 > 184 - 194
International Journal of Pharmaceutics > 2011 > 420 > 1 > 147-155
Formal Methods in System Design > 2004 > 24 > 3 > 223-259
Electronic Notes in Theoretical Computer Science > 2002 > 65 > 5 > 819-833
Formal Methods in System Design > 2002 > 21 > 1 > 5-38