( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Partial Order Reduction for State/Event LTL.

, , , , , и . IFM, том 5423 из Lecture Notes in Computer Science, стр. 307-321. Springer, (2009)

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

Edith Lubos

Renate Lubos

Günter Lubos

 

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

Distributed Negative Cycle Detection Algorithms., , и . PARCO, том 13 из Advances in Parallel Computing, стр. 297-304. Elsevier, (2003)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)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)Component-interaction automata as a verification-oriented component-based system specification., , , и . SAVCBS@ESEC/FSE, стр. 4. ACM, (2005)Scalable Multi-core LTL Model-Checking., , и . SPIN, том 4595 из Lecture Notes in Computer Science, стр. 187-203. Springer, (2007)eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems., , , и . CMSB, том 13447 из Lecture Notes in Computer Science, стр. 302-309. Springer, (2022)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)