( en | de | ru )

 

Disambiguierung von "Ceska, Milan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Generating and using state spaces of object-oriented Petri nets.

, , und . Comput. Syst. Sci. Eng., 16 (3): 183-193 (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.

Vaclav Ceska

Gabriele Milanovic

Alessandra Milandri

Marco Milan

Thomas L Milani

 

Weitere Publikationen von Autoren mit dem selben Namen

Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters., , und . EUROCAST (2), Volume 10672 von Lecture Notes in Computer Science, Seite 38-46. Springer, (2017)Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error., , , , und . EUROCAST (1), Volume 12013 von Lecture Notes in Computer Science, Seite 482-490. Springer, (2019)Abstraction-Based Segmental Simulation of Chemical Reaction Networks., , , und . CMSB, Volume 13447 von Lecture Notes in Computer Science, Seite 41-60. Springer, (2022)PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling., , und . EUROCAST, Volume 1333 von Lecture Notes in Computer Science, Seite 591-610. Springer, (1997)Counterexample-Driven Synthesis for Probabilistic Program Sketches., , , und . FM, Volume 11800 von Lecture Notes in Computer Science, Seite 101-120. Springer, (2019)Model Checking of Biological Systems., , und . SFM, Volume 7938 von Lecture Notes in Computer Science, Seite 63-112. Springer, (2013)Generating and using state spaces of object-oriented Petri nets., , und . Comput. Syst. Sci. Eng., 16 (3): 183-193 (2001)Partial-Order Reduction in Model Checking Object-Oriented Petri Nets., , und . EUROCAST, Volume 2809 von Lecture Notes in Computer Science, Seite 265-278. Springer, (2003)Approximate reduction of finite automata for high-speed network intrusion detection., , , , und . Int. J. Softw. Tools Technol. Transf., 22 (5): 523-539 (2020)Parametric Multi-step Scheme for GPU-Accelerated Graph Decomposition into Strongly Connected Components., , , , und . Euro-Par Workshops, Volume 10104 von Lecture Notes in Computer Science, Seite 519-531. Springer, (2016)