Autor der Publikation

Advances in Probabilistic Model Checking.

, und . Software Safety and Security, Volume 33 von NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

2011 CAV award announcement., , , und . Formal Methods in System Design, 41 (1): 1-2 (2012)Performance analysis of probabilistic timed automata using digital clocks., , , und . Formal Methods in System Design, 29 (1): 33-78 (2006)Probabilistic Model Checking for Biology., und . Software Systems Safety, Volume 36 von NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2014)Advances in Probabilistic Model Checking., und . Software Safety and Security, Volume 33 von NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2012)Event Fairness and Non-interleaving Concurrency.. Formal Asp. Comput., 1 (3): 213-228 (1989)A refinement-based process algebra for timed automata., und . Formal Asp. Comput., 17 (2): 138-159 (2005)Probabilistic verification of Herman's self-stabilisation algorithm., , und . Formal Asp. Comput., 24 (4-6): 661-670 (2012)Duality and the Completeness of the Modal mu-Calculus., , und . Theor. Comput. Sci., 151 (1): 3-27 (1995)Probabilistic model checking of complex biological pathways., , , , und . Theor. Comput. Sci., 391 (3): 239-257 (2008)On Incremental Quantitative Verification for Probabilistic Systems., , , und . HOWARD-60, Seite 245-257. EasyChair, (2014)