Integration temporallogischer Verarbeitungskonzepte in C++ - Kirchberg, Paul 1968-; Mayer, Otto (Univ. Kaiserslautern, 1997)
Keywords: C++; Temporale Logik