11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Short Papers 1 > 92-97