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...