( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Scalable Multi-core LTL Model-Checking.

, , и . SPIN, том 4595 из Lecture Notes in Computer Science, стр. 187-203. Springer, (2007)

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.

Sadek Brim

Lubos Polerecky

Renate Lubos

Edith Lubos

Lubos Trnka

 

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

Distributed Negative Cycle Detection Algorithms., , и . PARCO, том 13 из Advances in Parallel Computing, стр. 297-304. Elsevier, (2003)Model-Checking Large Finite-State Systems and Beyond., и . SOFSEM (1), том 4362 из Lecture Notes in Computer Science, стр. 9-28. Springer, (2007)Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems., , , , и . CAV (1), том 10426 из Lecture Notes in Computer Science, стр. 591-598. Springer, (2017)Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks., , , и . CAV (1), том 9206 из Lecture Notes in Computer Science, стр. 195-213. Springer, (2015)Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways., , , , , и . HSB, том 9957 из Lecture Notes in Computer Science, стр. 57-66. (2016)DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs., , , , , , , , и . CAV, том 8044 из Lecture Notes in Computer Science, стр. 863-868. Springer, (2013)Computing Bottom SCCs Symbolically Using Transition Guided Reduction., , , и . CAV (1), том 12759 из Lecture Notes in Computer Science, стр. 505-528. Springer, (2021)A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties., , и . ICFEM, том 5885 из Lecture Notes in Computer Science, стр. 407-425. Springer, (2009)Component-interaction automata as a verification-oriented component-based system specification., , , и . SAVCBS@ESEC/FSE, стр. 4. ACM, (2005)eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems., , , и . CMSB, том 13447 из Lecture Notes in Computer Science, стр. 302-309. Springer, (2022)