Vincent Beaudenon

According to our database1, Vincent Beaudenon authored at least 2 papers between 2003 and 2010.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
Data decision diagrams for Promela systems analysis.
Int. J. Softw. Tools Technol. Transf., 2010

2003
Design Validation of ZCSP with SPIN.
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003


  Loading...