For the most recent entries see the
Petri Nets Newsletter
.
Keyword: estelle specification
Dimitrov, V.
;
Petkov, A.
:
Verification of Specifications Written in ESTELLE, Using Petri Nets.
1989.
Dimitrov, V.
;
Petkov, A.
:
Verification Oriented Estelle Specifications of Communication Protocols.
1988.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography