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