Files
Details
Title
A temporal specification checker for Petri nets
Author(s)
Racloz, Pascal
Published in
IEEE International Conference on Systems, Man and Cybernetics
Volume
4
Pages
3475-3480
Conference
IEEE International Conference on Systems, Man and Cybernetics, Vancouver, Canada
Date
1995
Keywords
Other identifier(s)
View record in Web of Science
Laboratories
LGL
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > LGL - Software Engineering Laboratory
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Record creation date
2005-09-20