PZ nets--a formal method integrating Petri nets with Z.

Autor:	Xudong He
Zdroj:	Information & Software Technology. 01/01/2001, Vol. 43 Issue 1, p1. 18p. 11 Diagrams.
Databáze:	Business Source Ultimate
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect