Back to Results
First PageMeta Content



Complete Finite Prefixes of Symbolic Unfoldings of Time Petri Nets Thomas Chatain1 and Claude Jard2 1 IRISA/INRIA,
Add to Reading List

Document Date: 2013-07-03 04:01:35


Open Document

File Size: 656,47 KB

Share Result on Facebook