Concepedia

Use of Petri Nets for Proving Correctness of Concurrent Process Systems.

Kurt Lautenbach, Hans Albrecht Schmid

IFIP Congress · 1974 · 94 citations · 0 references

Concepts