"Verifying Emulation of Legacy Mission Computer Systems."

Colin J. Fidge (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics