"A Role for Theorem Proving in Multi-Processor Design."

Albert John Camilleri (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics