PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Brim, Lubos"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
I/O Efficient Accepting Cycle Detection.

, , und . CAV, Volume 4590 von Lecture Notes in Computer Science, Seite 281-293. Springer, (2007)

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.

Keine Personen gefunden für den Autorennamen Brim, Lubos
Eine Person hinzufügen mit dem Namen Brim, Lubos
 

Weitere Publikationen von Autoren mit dem selben Namen

Foreword., und . Formal Methods in System Design, 29 (2): 115-116 (2006)Parallel Partial Order Reduction with Topological Sort Proviso., , und . SEFM, Seite 222-231. IEEE Computer Society, (2010)Distributed Negative Cycle Detection Algorithms., , und . PARCO, Volume 13 von Advances in Parallel Computing, Seite 297-304. Elsevier, (2003)Component-interaction automata as a verification-oriented component-based system specification., , , und . ACM SIGSOFT Software Engineering Notes, (2006)High-performance analysis of biological systems dynamics with the DiVinE model checker., , und . Briefings in Bioinformatics, 11 (3): 301-312 (2010)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)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)BioDiVinE: A Framework for Parallel Analysis of Biological Models, , , , , , , und . COMPMOD, Volume 6 von EPTCS, Seite 31-45. (2009)Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation, , , und . CoRR, (2011)Assumption-based distribution of CTL model checking., , und . STTT, 7 (1): 61-73 (2005)