Hosted with the Supercomputer Software Department RAS Home
Parallel Computing Technologies
4th International Conference (PaCT-97)
September 8-12, 1997. Yaroslavl, Russia
Proceedings
Authors
Contents
Home
Lecture Notes in Computer Science Vol. 1277


On Proving Large Distributed Systems: Petri Net Modules Verification

by Irina A.Lomazova