DMCA

Symbolic unfolding of parametric stopwatch petri nets (2010)

by L. -m. Traonouez , B. Grabiec , C. Jard , D. Lime , O. H. Roux , Université Européenne De Bretagne
Venue:In 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), LNCS
Citations:3 - 2 self