( en | de | ru )

 

Disambiguierung von "Hamez, Alexandre"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
New features in CPN-AMI 3: focusing on the analysis of complex distributed systems.

, , , , , , und . ACSD, Seite 273-275. IEEE Computer Society, (2006)

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.

Alexandre Varnek

Alexandre Martins

Alexandre Darmoise

Alexandre Alexeev

Alexandre Nekrassov

 

Weitere Publikationen von Autoren mit dem selben Namen

Hierarchical Set Decision Diagrams and Regular Models., , , und . TACAS, Volume 5505 von Lecture Notes in Computer Science, Seite 1-15. Springer, (2009)Hierarchical Set Decision Diagrams and Automatic Saturation., , und . Petri Nets, Volume 5062 von Lecture Notes in Computer Science, Seite 211-230. Springer, (2008)A Symbolic Model Checker for Petri Nets: pnmc.. Trans. Petri Nets Other Model. Concurr., (2016)IibDMC: a Library to Operate Efficient Distributed Model Checking., , und . IPDPS, Seite 1-8. IEEE, (2007)Specification of Decision Diagram Operations., , , , , und . ACSD/Petri Nets Workshops, Volume 827 von CEUR Workshop Proceedings, Seite 437-451. CEUR-WS.org, (2010)dmcG : A Distributed Symbolic Model Checker Based on GreatSPN., , , und . ICATPN, Volume 4546 von Lecture Notes in Computer Science, Seite 495-504. Springer, (2007)New features in CPN-AMI 3: focusing on the analysis of complex distributed systems., , , , , , und . ACSD, Seite 273-275. IEEE Computer Society, (2006)