Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Encrenaz-Tiphène, Emmanuelle - Laboratoire d'Informatique, Université Pierre-et-Marie-Curie, Paris 6
Data Decision Diagrams for Petri Nets Analysis Jean-Michel Couvreur1
International Journal of Foundations of Computer Science Vol. 20, No. 5 (2009) 819836
CTL may be ambiguous when model checking Moore machines
Remy Chevallier, Emmanuelle Encrenaz-Tiphene,
Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
Incremental Specification and Design of a Pipelined Protocol Converter
USING VCI IN A ON-CHIP SYSTEM AROUND SPIN NETWORK H. CHARLERY, A. GREINER, E. ENCRENAZ, L. MORTIEZ, A. ANDRI-
Design Validation of ZCSP with SPIN Differents Models and Properties of a ZeroCopy Secured Protocol
Utilisation de Diagrammes de Decision de Donnees pour la verification fonctionnelle de syst`emes materiels
Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
CTL May Be Ambiguous when Model Checking Moore Machines
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
Noname manuscript No. (will be inserted by the editor)
