( en | de | ru )

 

Disambiguation of "Brim, Lubos"

Author of the publication

copydeleteadd this publication to your clipboard
Scalable Multi-core LTL Model-Checking.

, , and . SPIN, volume 4595 of Lecture Notes in Computer Science, page 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. You can also use the button next to the name to display some publications already assigned to the person.

Sadek Brim

Lubos Polerecky

Edith Lubos

Renate Lubos

Lubos Trnka

 

Other publications of authors with the same name

Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation, , , and . CoRR, (2011)Scalable Multi-core LTL Model-Checking., , and . SPIN, volume 4595 of Lecture Notes in Computer Science, page 187-203. Springer, (2007)Distributed Negative Cycle Detection Algorithms., , and . PARCO, volume 13 of Advances in Parallel Computing, page 297-304. Elsevier, (2003)Assumption-based distribution of CTL model checking., , and . Int. J. Softw. Tools Technol. Transf., 7 (1): 61-73 (2005)AEON.py: Python library for attractor analysis in asynchronous Boolean networks., , , , , and . Bioinform., 38 (21): 4978-4980 (October 2022)High-performance analysis of biological systems dynamics with the DiVinE model checker., , and . Briefings Bioinform., 11 (3): 301-312 (2010)Compact Representation of Photosynthesis Dynamics by Rule-based Models (Full Version)., , and . CoRR, (2014)eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems., , , and . CMSB, volume 13447 of Lecture Notes in Computer Science, page 302-309. Springer, (2022)Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems., , , , and . CAV (1), volume 10426 of Lecture Notes in Computer Science, page 591-598. Springer, (2017)Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks., , , and . CAV (1), volume 9206 of Lecture Notes in Computer Science, page 195-213. Springer, (2015)