Basin, David Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-96-2-009.pdf (Any fulltext), 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.