( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Regular Model Checking Upside-Down: An Invariant-Based Approach.

, , и . CONCUR, том 243 из LIPIcs, стр. 23:1-23:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

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.

Javier Esparza Technical University of Munich

Francisco Javier Esparza Estaun

Javier Dreyer

Javier Manero

Javier Jáurequi

 

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

Compositional Synthesis of Live and Bounded Free Choice Petri Nets., и . CONCUR, том 527 из Lecture Notes in Computer Science, стр. 172-187. Springer, (1991)Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Corrected version).. CoRR, (2014)Solving Fixed-Point Equations by Derivation Tree Analysis., и . CALCO, том 6859 из Lecture Notes in Computer Science, стр. 19-35. Springer, (2011)On Negotiation as Concurrency Primitive., и . CONCUR, том 8052 из Lecture Notes in Computer Science, стр. 440-454. Springer, (2013)Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs., и . POPL, стр. 1-11. ACM, (2000)Parameterized Verification of Crowds of Anonymous Processes.. Dependable Software Systems Engineering, том 45 из NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2016)Derivation Tree Analysis for Accelerated Fixed-Point Computation., , и . Developments in Language Theory, том 5257 из Lecture Notes in Computer Science, стр. 301-313. Springer, (2008)Limit-Deterministic Büchi Automata for Linear Temporal Logic., , , и . CAV (2), том 9780 из Lecture Notes in Computer Science, стр. 312-332. Springer, (2016)Solving Monotone Polynomial Equations., , и . IFIP TCS, том 273 из IFIP, стр. 285-298. Springer, (2008)Model Checking Parameterized Asynchronous Shared-Memory Systems., , , и . CAV (1), том 9206 из Lecture Notes in Computer Science, стр. 67-84. Springer, (2015)