Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

A modal m-calculus for durational transition systems

Trier: Univ., Mathematik/Informatik 1995 16 S. (Forschungsbericht ; 95-08)

Erscheinungsjahr: 1995

Publikationstyp: Buch

Sprache: Englisch

GeprüftBibliothek

Autoren

Seidl, Helmut (Autor)

Verbundene Forschungsprojekte

Verknüpfte Personen

Helmut Seidl

Beteiligte Einrichtungen

Logo Informatikwissenschaften