Juan José Sánchez Penas, Thomas Arts. VoDkaV Tool: Model Checking for Extracting Global Scheduler Properties from Local Restrictions. In 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 18-20 June 2003, Guimaraes, Portugal. pages 247-248, IEEE Computer Society, 2003. [doi]
Abstract is missing.