PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Dima, Catalin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model-checking an Epistemic μ-calculus with Synchronous and Perfect Recall Semantics

, , und . CoRR, (2012)

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.

Dr. Gina-Corina Dima University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Relating Paths in Transition Systems: the Fall of the Modal mu-Calculus., , und . ICTCS, Volume 1720 von CEUR Workshop Proceedings, Seite 240-244. CEUR-WS.org, (2016)Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall.. CLIMA, Volume 5405 von Lecture Notes in Computer Science, Seite 117-131. Springer, (2008)Removing All Silent Transitions from Timed Automata., und . FORMATS, Volume 5813 von Lecture Notes in Computer Science, Seite 118-132. Springer, (2009)Safraless Synthesis for Epistemic Temporal Specifications., , und . CAV, Volume 8559 von Lecture Notes in Computer Science, Seite 441-456. Springer, (2014)A Nonarchimedian Discretization for Timed Languages.. Fundam. Inform., 131 (3-4): 389-407 (2014)Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus., , und . ACM Trans. Comput. Log., 19 (3): 23:1-23:33 (2018)Real-Time Automata.. Journal of Automata, Languages and Combinatorics, 6 (1): 3-23 (2001)On the computation of covert channel capacity., und . RAIRO - Theor. Inf. and Applic., 44 (1): 37-58 (2010)Distributed Time-Asynchronous Automata., und . ICTAC, Volume 4711 von Lecture Notes in Computer Science, Seite 185-200. Springer, (2007)Sofic-Dyck Shifts., , und . MFCS (1), Volume 8634 von Lecture Notes in Computer Science, Seite 63-74. Springer, (2014)