For the most recent entries see the Petri Nets Newsletter.

The Application of a Proof Tree to Synthesis of Parallel Programs.

Starkova, S.A.; Cherkasova, L.A.

In: Computer and Artif. Intell., Vol. 6, No. 1, pages 41-50. 1987. In Russian.

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

Back to the Petri Nets Bibliography