For the most recent entries see the Petri Nets Newsletter.

Timed Unfoldings for Networks of Timed Automata.

Bouyer, Patricia; Haddad, Serge; Reynier, Pierre-Alain

In: Automated Technology for Verification and Analysis, pages 292-306. 2006. URL: http://dx.doi.org/10.1007/1190191423.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography