Basin, David Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-96-2-009.pdf (beliebiger Volltext), 413KB
Basin, D., & Klarlund, N.(1996). Beyond the finite in automatic hardware verification (MPI-I-1996-2-009). Saarbrücken: Max-Planck-Institut für Informatik.