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

2000-1

Titel:

Generalizing the Modal and Temporal Logic of Linear Time

AutorInnen: Bernhard Heinemann
Kategorie: Konferenzbandbeiträge
erschienen in: T. Rus (Ed.): Algebraic Methodology and Software Technology , AMAST 2000, Iowa City, Iowa, USA. LNCS 1816, pp. 41-56. Springer, Berlin 2000
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