The following pages link to S. P. Myl'nikov (Q220097):
Displaying 3 items.
- POLAR-88 -- a modern general purpose programming system (Q1183830) (← links)
- Application of Petri nets in verification of distributed systems represented in the Estelle language (Q2566429) (← links)
- Verification of Estelle-specified communication protocols using high-level Petri nets (Q5951251) (← links)