E. V. Okunishnikova

According to our database1, E. V. Okunishnikova authored at least 2 papers between 1995 and 2001.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2001
Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets.
Program. Comput. Softw., 2001

1995
Petri Net Modelling of Estelle-specified Communication Protocols.
Proceedings of the Parallel Computing Technologies, 1995


  Loading...