Files
Détails
Titre
A temporal specification checker for Petri nets
Auteur(s)
Racloz, Pascal
Publié dans
IEEE International Conference on Systems, Man and Cybernetics
Volume
4
Pages
3475-3480
Présenté à
IEEE International Conference on Systems, Man and Cybernetics, Vancouver, Canada
Date
1995
Mots-clés (libres)
Autres identifiant(s)
Afficher la publication dans Web of Science
Laboratoires
LGL
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IC Archives > LGL - Laboratoire de génie logiciel
Publications validées par des pairs
Papiers de conférence
Travail produit à l'EPFL
Publié
Publications validées par des pairs
Papiers de conférence
Travail produit à l'EPFL
Publié
Date de création de la notice
2005-09-20