( en | de | ru )

 

Disambiguierung von "Linard, Alban"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Raw Report on the Model Checking Contest at Petri Nets 2012

, , , , , , , , , , , , , 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.

Linard Nadig

Benjamin Linard

Walid Albanna

Alban Kellerbauer

Alban Haas

 

Weitere Publikationen von Autoren mit dem selben Namen

Specification of Decision Diagram Operations., , , , , und . ACSD/Petri Nets Workshops, Volume 827 von CEUR Workshop Proceedings, Seite 437-451. CEUR-WS.org, (2010)polyDD: Towards a Framework Generalizing Decision Diagrams., , , , und . ACSD, Seite 124-133. IEEE Computer Society, (2010)Ardoises: Collaborative & Interactive Editing Using Layered Data., und . ACSD, Seite 136-145. IEEE Computer Society, (2017)A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning., , , , und . Petri Nets, Volume 10877 von Lecture Notes in Computer Science, Seite 385-395. Springer, (2018)Petri Sport: A Sport for Petri Netters., , , und . PNSE@Petri Nets/ACSD, Volume 2138 von CEUR Workshop Proceedings, Seite 35-56. CEUR-WS.org, (2018)Optimized Colored Nets Unfolding., , und . FORTE, Volume 4229 von Lecture Notes in Computer Science, Seite 339-355. Springer, (2006)CREST - A Continuous, REactive SysTems DSL., , und . MoDELS (Satellite Events), Volume 2019 von CEUR Workshop Proceedings, Seite 286-291. CEUR-WS.org, (2017)Improving the Significance of Benchmarks for Petri Nets Model Checkers., , , und . ACSD/Petri Nets Workshops, Volume 827 von CEUR Workshop Proceedings, Seite 475-489. CEUR-WS.org, (2010)CREST - A DSL for Reactive Cyber-Physical Systems., , und . SAM, Volume 11150 von Lecture Notes in Computer Science, Seite 29-45. Springer, (2018)New features in CPN-AMI 3: focusing on the analysis of complex distributed systems., , , , , , und . ACSD, Seite 273-275. IEEE Computer Society, (2006)