For the most recent entries see the
Petri Nets Newsletter.
A formal software synthesis approach for embedded hard real-time systems.
Meuse Oliveira, Jr.;
SBCCI '04: Proceedings of the 17th symposium on Integrated circuits and system design, pages 163-168.
New York, NY, USA: ACM Press,
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography