VoDkaV tool: model checking for extracting global scheduler properties from local restrictions
- Sánchez Penas, J.J.
- Arts, T.
ISSN: 1550-4808
ISBN: 0769518877
Año de publicación: 2003
Proceedings - 3rd International Conference on Application of Concurrency to System Design, ACSD 2003
Volumen: 2003-January
Páginas: 247-248
Tipo: Aportación congreso