For the most recent entries see the Petri Nets Newsletter.

Compositional Semantics of a Real-Time Prototyping Language.

Krämer, B.; Luqi,; Berzins, V.

In: IEEE Transactions on Software Engineering, Vol. 19, No. 5, pages 453-477. 1993.

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

Back to the Petri Nets Bibliography