( en | de | ru )

 

Disambiguierung von "Brim, Lubos"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Computing Bottom SCCs Symbolically Using Transition Guided Reduction.

, , , und . CAV (1), Volume 12759 von Lecture Notes in Computer Science, Seite 505-528. Springer, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sadek Brim

Lubos Polerecky

Edith Lubos

Renate Lubos

Günter Lubos

 

Weitere Publikationen von Autoren mit dem selben Namen

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