From Qualitative to Quantitative Analysis of Timed Systems. Mémoire d’habilitation, Université Paris 7
Patricia Bouyer,Rajeev Alur,Ahmed Bouajjani,Joostpieter Katoen, Kim,Gary L Larsen,Anca Muscholl,Antoine Petit,Jeanfrancois Raskin,Christel Baier,Technische Universitat, Dresden Germany, Fabrice Chevalier Lsv, Cnrs, Ens Cachan France,Emmanuel Fleury, Labri, Universite Bordeaux France, Marcus Groser,Kim Guldstrand Larsen, Aalborg Universitet Denmark,Nicolas Markey Lsv,Jacob Illum Rasmussen mag(2009)
AI 理解论文
溯源树
样例