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