Petri Net Modelling of Estelle-specified Communication Protocols.

Valery A. Nepomniaschy, Gennady I. Alekseev, Alexandre V. Bystrov, Tatiana G. Churina, Sergey P. Mylnikov, E. V. Okunishnikova

Browse the full PACT paper archive.