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