( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
CMC: A Tool for Compositional Model-Checking of Real-Time Systems.

, и . FORTE, том 135 из IFIP Conference Proceedings, стр. 439-456. Kluwer, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

François Weirich

François Elvinger

François Guers

François Melis

François Franceschi

 

Другие публикации лиц с тем же именем

Model Checking Probabilistic Timed Automata with One or Two Clocks, , и . CoRR, (2008)Quantified CTL: Expressiveness and Model Checking - (Extended Abstract)., , и . CONCUR, том 7454 из Lecture Notes in Computer Science, стр. 177-192. Springer, (2012)Model Checking Timed Automata with One or Two Clocks., , и . CONCUR, том 3170 из Lecture Notes in Computer Science, стр. 387-401. Springer, (2004)Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems., , и . FORMATS, том 3829 из Lecture Notes in Computer Science, стр. 112-126. Springer, (2005)From Quantified CTL to QBF., и . TIME, том 147 из LIPIcs, стр. 11:1-11:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics., и . MFCS, том 1672 из Lecture Notes in Computer Science, стр. 125-136. Springer, (1999)On Model Checking Durational Kripke Structures., , и . FoSSaCS, том 2303 из Lecture Notes in Computer Science, стр. 264-279. Springer, (2002)The State Explosion Problem from Trace to Bisimulation Equivalence., и . FoSSaCS, том 1784 из Lecture Notes in Computer Science, стр. 192-207. Springer, (2000)A Hierarchy of Temporal Logics with Past (Extended Abstract)., и . STACS, том 775 из Lecture Notes in Computer Science, стр. 47-58. Springer, (1994)Model-Checking Timed., , и . FORMATS, том 4202 из Lecture Notes in Computer Science, стр. 245-259. Springer, (2006)