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