( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Variations on parallel explicit emptiness checks for generalized Büchi automata.

, , , и . Int. J. Softw. Tools Technol. Transf., 19 (6): 653-673 (2017)

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.

Gérard Poitrenaud

Jaap Denissen

Wladimir Denisow

Natalja Denisjuk

Alexander Arnold Denisiuk

 

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

The Barrier-Lock Clock: A Scalable Synchronization-Oriented Logical Clock., , , и . Parallel Process. Lett., 11 (1): 65-76 (2001)MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs., и . Petri Nets, том 5062 из Lecture Notes in Computer Science, стр. 288-306. Springer, (2008)Data Decision Diagrams for Petri Net Analysis., , , , и . ICATPN, том 2360 из Lecture Notes in Computer Science, стр. 101-120. Springer, (2002)On-the-fly Emptiness Check of Transition-Based Streett Automata., , и . ATVA, том 5799 из Lecture Notes in Computer Science, стр. 213-227. Springer, (2009)Designing a LTL Model-Checker Based on Unfolding Graphs., , и . ICATPN, том 1825 из Lecture Notes in Computer Science, стр. 123-145. Springer, (2000)Combining Parallel Emptiness Checks with Partial Order Reductions., и . ICFEM, том 11852 из Lecture Notes in Computer Science, стр. 370-386. Springer, (2019)Structural Reductions and Stutter Sensitive Properties., , , и . CoRR, (2022)LTL under reductions with weaker conditions than stutter-invariance., , , и . CoRR, (2021)LTL Under Reductions with Weaker Conditions Than Stutter Invariance., , , и . FORTE, том 13273 из Lecture Notes in Computer Science, стр. 170-187. Springer, (2022)Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking, , , и . CoRR, (2011)