Authors:
Alekseev, AG
Bystrov, AV
Kurtov, SA
Myl'nikov, SP
Nepomnyashchy, VA
Okunishnikova, EV
Chubarev, PA
Churina, TG
Citation: Ag. Alekseev et al., Application of Petri nets in verification of distributed systems represented in the Estelle language, J COMP SYST, 38(5), 1999, pp. 771-781