For the most recent entries see the Petri Nets Newsletter.

Verification of Specifications Written in the Estelle Language Using Petri Nets.

Dimitrov, V.; Petkov, A.

In: Avtomatika i Vychislitelnaya Tekhnika, No. 5, pages 23-27. 1989. In Russian.

Keywords: verification (of) specifications (written in the) Estelle language.

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

Back to the Petri Nets Bibliography