For the most recent entries see the Petri Nets Newsletter.

Formal Transducers: Models of Devices and Building Bricks for Highly Interactive Systems.

Accot, J.; Chatty, S.; Maury, S.; Palanque, Ph.

In: 4th EUROGRAPHICS Workshop on Design, Specification and Verification of Interactive Systems, Granada, Spain, June 5-7, 1997, pages 124-139. 1997.


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

Back to the Petri Nets Bibliography