Blackburn, Patrick Programming Logics, MPI for Informatics, Max Planck Society;
Tzakova, Miroslava Programming Logics, MPI for Informatics, Max Planck Society;
1998-2-006 (beliebiger Volltext), 9KB
Blackburn, P., & Tzakova, M.(1998). Hybrid languages and temporal logic (MPI-I-1998-2-006). Saarbrücken: Max-Planck-Institut für Informatik.