Web Report on the Model Checking Contest @ Petri Net 2013 - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Autre Publication Scientifique Année : 2013

Web Report on the Model Checking Contest @ Petri Net 2013

Fabrice Kordon
Modélisation et Vérification
CV
Alban Linard
  • Fonction : Auteur
Laboratoire Spécification et Vérification [Cachan]
Modeling and Exploitation of Interaction and Concurrency
Marco Becutti
  • Fonction : Auteur
Università degli studi di Torino = University of Turin
Didier Buchs
  • Fonction : Auteur
University of Geneva
Lukasz Fronc
  • Fonction : Auteur
  • PersonId : 919689
Informatique, Biologie Intégrative et Systèmes Complexes
Lom Messan Hillah
Modélisation et Vérification
Francis Hulin-Hubard
  • Fonction : Auteur
Laboratoire Spécification et Vérification [Cachan]
Fabrice Legond-Aubry
  • Fonction : Auteur
Université Paris Nanterre
Modélisation et Vérification
Niels Lohmann
  • Fonction : Auteur
University of Rostock
Alexis Marechal
  • Fonction : Auteur
University of Geneva
Emmanuel Paviot-Adet
  • Fonction : Auteur
Université Paris Descartes - Paris 5
Modélisation et Vérification
Franck Pommereau
Université d'Évry-Val-d'Essonne
CV
César Rodríguez
  • Fonction : Auteur
Laboratoire Spécification et Vérification [Cachan]
Modeling and Exploitation of Interaction and Concurrency
Christian Rohr
  • Fonction : Auteur
Brandenburg University of Technology [Cottbus – Senftenberg]
Yann Thierry-Mieg
Modélisation et Vérification
Haro Wimmel
  • Fonction : Auteur
University of Rostock
Carsten Wolf
  • Fonction : Auteur
University of Rostock

Domaines

Théorie et langage formel [cs.FL]
Fichier principal
Vignette du fichier
1309.2485.pdf (6.95 Mo) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Benedikt Bollig  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00926989

Soumis le : mercredi 9 octobre 2019-18:23:19

Dernière modification le : mercredi 21 février 2024-10:37:33

Télécharger pour visualiser

Dates et versions

hal-00926989 , version 1 (09-10-2019)

Identifiants

Citer

Fabrice Kordon, Alban Linard, Marco Becutti, Didier Buchs, Lukasz Fronc, et al.. Web Report on the Model Checking Contest @ Petri Net 2013. 2013. ⟨hal-00926989⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UPMC CNRS INRIA UNIV-EVRY ENS-CACHAN IBISC LIP6 INRIA2 SORBONNE-UNIVERSITE SU-SCIENCES UNIV-PARIS-LUMIERES ENS-PARIS-SACLAY UNIV-PARIS-NANTERRE
385 Consultations
32 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More