( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Priority queue classes with priority update.

, и . SPLST, том 1525 из CEUR Workshop Proceedings, стр. 179-193. CEUR-WS.org, (2015)

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.

Antti Punkka

Harry Anttila

Antti Ojala

Antti Tölli

Antti Marjanen

 

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

Question-guided stubborn set methods for state properties., , и . Formal Methods Syst. Des., 29 (3): 215-251 (2006)Improved Question-Guided Stubborn Set Methods for State Properties., и . ICATPN, том 1825 из Lecture Notes in Computer Science, стр. 282-302. Springer, (2000)Exploring the Scope for Partial Order Reduction., , и . ATVA, том 5799 из Lecture Notes in Computer Science, стр. 39-53. Springer, (2009)Liveness and Fairness in Process-Algebraic Verification., и . CONCUR, том 2154 из Lecture Notes in Computer Science, стр. 202-217. Springer, (2001)The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear temporal Logic., и . CONCUR, том 630 из Lecture Notes in Computer Science, стр. 207-221. Springer, (1992)On-the-Fly Verification with Stubborn Sets.. CAV, том 697 из Lecture Notes in Computer Science, стр. 397-408. Springer, (1993)Relaxed Visibility Enhances Partial Order Reduction., , и . CAV, том 1254 из Lecture Notes in Computer Science, стр. 328-339. Springer, (1997)Fair Testing and Stubborn Sets., и . SPIN, том 9641 из Lecture Notes in Computer Science, стр. 225-243. Springer, (2016)A state space tool for concurrent system models expressed in C++.. SPLST, том 1525 из CEUR Workshop Proceedings, стр. 91-105. CEUR-WS.org, (2015)Automated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator.. CSEDU (2), стр. 324-331. SCITEPRESS, (2021)