# Vladislav A. Volkov

According to our database

Collaborative distances:

^{1}, Vladislav A. Volkov authored at least 7 papers between 1994 and 2010.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2010

Proceedings of the Second International Workshop on Invariant Generation, 2010

2005

Proceedings of the Embedded Systems Handbook., 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