( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Antichains for the Automata-Based Approach to Model-Checking

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

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.

Jean-François Stumper

Jean-François Viaud

Jean-François Paillotin

Jean François Savoie

Jean-François Hren

 

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

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