PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Krcál, Pavel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Distributed LTL Model Checking Based on Negative Cycle Detection.

, , , und . FSTTCS, Volume 2245 von Lecture Notes in Computer Science, Seite 96-107. Springer, (2001)

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.

Pavel Nedvedicky University of Stuttgart

Dr. Pavel Bashtrykov University of Stuttgart

Pavel Denisov University of Stuttgart

Pavel Ruchka University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Timed vs. Time-Triggered Automata., , , und . CONCUR, Volume 3170 von Lecture Notes in Computer Science, Seite 340-354. Springer, (2004)How to Employ Reverse Search in Distributed Single Source Shortest Paths., , , und . SOFSEM, Volume 2234 von Lecture Notes in Computer Science, Seite 191-200. Springer, (2001)Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times., , und . FORMATS, Volume 4763 von Lecture Notes in Computer Science, Seite 274-289. Springer, (2007)Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata., und . TACAS, Volume 2988 von Lecture Notes in Computer Science, Seite 236-250. Springer, (2004)Effective Static and Dynamic Fault Tree Analysis., , , , und . SAFECOMP, Volume 9922 von Lecture Notes in Computer Science, Seite 266-280. Springer, (2016)Task automata: Schedulability, decidability and undecidability., , , und . Inf. Comput., 205 (8): 1149-1172 (2007)Scalable Analysis of Fault Trees with Dynamic Features., und . DSN, Seite 89-100. IEEE Computer Society, (2015)Universality of R-automata with Value Copying., , und . Electr. Notes Theor. Comput. Sci., (2009)Distributed LTL Model Checking Based on Negative Cycle Detection., , , und . FSTTCS, Volume 2245 von Lecture Notes in Computer Science, Seite 96-107. Springer, (2001)Distributed Explicit Bounded LTL Model Checking.. Electron. Notes Theor. Comput. Sci., 89 (1): 33-50 (2003)