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