( en | de | ru )

 

Disambiguierung von "Knapik, Michal"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Modular Analysis of Tree-Topology Models.

, , , und . ICFEM, Volume 13478 von Lecture Notes in Computer Science, Seite 36-53. Springer, (2022)

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.

Michal Pejko

Michal Olszewski

Michal Fic

Michal Novotny

Michal Buryan

 

Weitere Publikationen von Autoren mit dem selben Namen

Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol., , , , und . Inf. Comput., (2021)Parametric Model Checking with VerICS., , , , , und . Trans. Petri Nets Other Model. Concurr., (2010)Parameter Synthesis for Timed Kripke Structures., und . Fundam. Informaticae, 133 (2-3): 211-226 (2014)Fixpoint Approximation of Strategic Abilities under Imperfect Information., , und . AAMAS, Seite 1241-1249. ACM, (2017)Action Synthesis for Branching Time Logic: Theory and Applications., , und . ACM Trans. Embed. Comput. Syst., 14 (4): 64:1-64:23 (2015)Bounded Model Checking for Parametric Timed Automata., und . Trans. Petri Nets Other Model. Concurr., (2012)Modular Analysis of Tree-Topology Models., , , und . ICFEM, Volume 13478 von Lecture Notes in Computer Science, Seite 36-53. Springer, (2022)Bounded Model Checking for Parametric Timed Automata., und . ACSD/Petri Nets Workshops, Volume 827 von CEUR Workshop Proceedings, Seite 419-435. CEUR-WS.org, (2010)Squeezing State Spaces of (Attack-Defence) Trees., , , und . ICECCS, Seite 71-80. IEEE, (2019)Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics., , , und . Fundam. Informaticae, 101 (1-2): 9-27 (2010)