selected publications
-
chapter
- Verification of Reachability Properties for Time Petri Nets. Lecture notes in computer science. 159-170. 2013
Close
Petrucci, Laure
Positions
Publications
Contact
full name
- Laure Petrucci
Publications in VIVO
Co-author Network