Logo - Fakultät für Mathematik und Informatik Illustration

1997-2

Titel:

A Topological Generalization of Propositional Linear Time Temporal Logic

AutorInnen: Bernhard Heinemann
Kategorie: Konferenzbandbeiträge
erschienen in: I. Prívara, P. Ruzicka (Eds.): Mathematical Foundations of Computer Science, MFCS´97, Bratislava, Slovakia. LNCS 1295, pp. 289-297. Springer, Berlin 1997
Bernhard Heinemann | 01.12.2009
FernUni-Logo FernUniversität in Hagen, Fakultät für Mathematik und Informatik, Lehrgebiet Algorithmen und Komplexität, 58084 Hagen, Tel.: +49 2331 987-2823