In: Samson Lasaulce; Dieter Fiems; Pete Harrison; Luc Vandendorpe (Hrsg.). VALUETOOLS '11: Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools. International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS-2011), May 16-20, Paris, France, Pages 186-196, ISBN 978-1-936968-09-1, ACM, 5/2011.
Tuǧrul Dayar; Holger Hermanns; David Spieler; Verena Wolf
In: HSCC '11: Proceedings of the 14th international conference on Hybrid systems: computation and control. ACM International Conference on Hybrid Systems: Computation and Control (HSCC-2011), April 12-14, Chicago, IL, USA, Pages 311-312, ISBN 978-1-4503-0629-4, ACM, 4/2011.
Tuğrul Dayar; Werner Sandmann; David Spieler; Verena Wolf
In: Proceedings of the 8th International Conference on Computational Methods in Systems Biology. International Conference on Computational Methods in Systems Biology (CMSB-2010), Proceedings of the 8th International Conference on Computational Methods in Systems Biology, September 29 - October 1, Trento, Italy, Pages 55-65, ISBN 9781450300681, ACM, USA, 9/2010.
In: Ahmed Bouajjani; Oded Maler. International Conference on Computer Aided Verification. Pages 337-352, ISBN 9783642026584, Springer Berlin Heidelberg, Heidelberg, 6/2009.
In: Jasmin Fisher (Hrsg.). Formal Methods in Systems Biology - First International Workshop, Proceedings. International Workshop on Formal Methods in Systems Biology (FMSB-2008), June 4-5, Cambridge, United Kingdom, Pages 33-47, Lecture Notes in Computer Science (LNCS), Vol. 5054, ISBN 9783540684138, Springer, Berlin, Heidelberg, 6/2008.
