( en | de | ru )

 

Disambiguierung von "Raskin, Jean-François"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Antichains for the Automata-Based Approach to Model-Checking

, und . Logical Methods in Computer Science, (2009)

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.

Jean-François Stumper

Jean-François Viaud

Jean-François Paillotin

Jean François Savoie

Jean-François Hren

 

Weitere Publikationen von Autoren mit dem selben Namen

From Many Places to Few: Automatic Abstraction Refinement for Petri Nets., , und . Fundam. Informaticae, 88 (3): 275-305 (2008)A Comparison of Control Problems for Timed and Hybrid Systems., , und . HSCC, Volume 2289 von Lecture Notes in Computer Science, Seite 134-148. Springer, (2002)The Logic of "Initially" and "Next": Complete Axiomatization and Complexity., und . Inf. Process. Lett., 69 (5): 221-225 (1999)Algorithms for Omega-Regular Games with Imperfect Information., , , und . Logical Methods in Computer Science, (2007)Durations and parametric model-checking in timed automata., , und . ACM Trans. Comput. Log., 9 (2): 12:1-12:23 (2008)Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives., , , und . CoRR, (2018)Systematic Implementation of Real-Time Models., , und . FM, Volume 3582 von Lecture Notes in Computer Science, Seite 139-156. Springer, (2005)The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games (full version)., , , , und . CoRR, (2019)ω-Petri Nets., , , und . Petri Nets, Volume 7927 von Lecture Notes in Computer Science, Seite 49-69. Springer, (2013)Antichain-Based QBF Solving., , , , und . ATVA, Volume 6996 von Lecture Notes in Computer Science, Seite 183-197. Springer, (2011)