O.H.: Symbolic unfolding of parametric stopwatch Petri nets (0)

by L M Traonouez, B Grabiec, C Jard, D Lime, Roux
Venue:8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), Lecture Notes in Computer Science