( en | de | ru )

 

Disambiguierung von "Peron, Adriano"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Semantics of full statecharts based on graph rewriting

, und . (1994)
DOI: 10.1007/3-540-57787-4_17

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.

Joseph Peron

Adriano Aebli

Adriano Zanier

Barbara Peron

Vincent Péron

 

Weitere Publikationen von Autoren mit dem selben Namen

Web Application Testing: Using Tree Kernels to Detect Near-duplicate States in Automated Model Inference., , , und . ESEM, Seite 37:1-37:6. ACM, (2021)Event-Clock Nested Automata., , und . LATA, Volume 10792 von Lecture Notes in Computer Science, Seite 80-92. Springer, (2018)Undecidability of future timeline-based planning over dense temporal domains., , , und . CoRR, (2019)Undecidability of Future Timeline-based Planning over Dense Temporal Domains?, , , und . ICTCS, Volume 2756 von CEUR Workshop Proceedings, Seite 155-166. CEUR-WS.org, (2020)Model Checking Timeline-Based Systems over Dense Temporal Domains., , , und . ICTCS, Volume 2504 von CEUR Workshop Proceedings, Seite 235-247. CEUR-WS.org, (2019)Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments., , , , und . IJCAR, Volume 9706 von Lecture Notes in Computer Science, Seite 389-405. Springer, (2016)Analysis of Timed Recursive State Machines., , und . TIME, Seite 61-68. IEEE Computer Society, (2010)Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS., , und . TIME, Seite 90-100. IEEE Computer Society, (2015)The lecture video recording in university: A case study., , , , und . EMOOCs-WIP, Volume 2356 von CEUR Workshop Proceedings, Seite 175-180. CEUR-WS.org, (2019)Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic., , und . TIME, Volume 147 von LIPIcs, Seite 18:1-18:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)