( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Antichains: A New Algorithm for Checking Universality of Finite Automata.

, , , и . CAV, том 4144 из Lecture Notes in Computer Science, стр. 17-30. Springer, (2006)

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.

Martin Wulf

Martin Wulf

Martin Wulf

Martin Wulf

Martin Wulf

 

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

Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking., , , и . TACAS, том 4963 из Lecture Notes in Computer Science, стр. 63-77. Springer, (2008)Alpaga: A Tool for Solving Parity Games with Imperfect Information., , , , и . TACAS, том 5505 из Lecture Notes in Computer Science, стр. 58-61. Springer, (2009)Robustness and Implementability of Timed Automata., , , и . FORMATS/FTRTFT, том 3253 из Lecture Notes in Computer Science, стр. 118-133. Springer, (2004)Antichains: A New Algorithm for Checking Universality of Finite Automata., , , и . CAV, том 4144 из Lecture Notes in Computer Science, стр. 17-30. Springer, (2006)Systematic Implementation of Real-Time Models., , и . FM, том 3582 из Lecture Notes in Computer Science, стр. 139-156. Springer, (2005)Almost ASAP Semantics: From Timed Models to Timed Implementations., , и . HSCC, том 2993 из Lecture Notes in Computer Science, стр. 296-310. Springer, (2004)A Lattice Theory for Solving Games of Imperfect Information., , и . HSCC, том 3927 из Lecture Notes in Computer Science, стр. 153-168. Springer, (2006)Alaska., , , и . ATVA, том 5311 из Lecture Notes in Computer Science, стр. 240-245. Springer, (2008)