Vladislav A. Volkov
According to our database1,
Vladislav A. Volkov
authored at least 7 papers
between 1994 and 2010.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2010
Proceedings of the Second International Workshop on Invariant Generation, 2010
2005
Basic protocols, message sequence charts, and the verification of requirements specifications.
Comput. Networks, 2005
Proceedings of the SDL 2005: Model Driven, 2005
2002
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002
1999
Proceedings of the Systems for Integrated Computation and Deduction, 1999
1994
Proceedings of the Integrating Symbolic Mathematical Computation and Artificial Intelligence, 1994