For the most recent entries see the Petri Nets Newsletter.

Development of Realtime Systems: Specifying Functional and Parallel Behaviour Formally.

Goedicke, M.

In: IFIP Workshop / Szlanko, J.: Real Time Programming 1986. Proc. of the 14th IFAC, pages 67-79. Oxford: Pergamon Press, 1986.


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

Back to the Petri Nets Bibliography