For the most recent entries see the Petri Nets Newsletter.

A Method of Correctness Analysis of Algorithm Flowcharts.

Anishev, P.A.

In: Programmirovanie (USSR), Vol. 7, No. 1, pages 20-28. January-February 1981. In Russian.

Also in: Program. Comput. Software, Vol. 7, No. 1, pages 14-21. January-February 1981. English translation.

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

Back to the Petri Nets Bibliography