Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Search this site:
Links
Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Home
›
Biblio
Deterministische Überwachung temporaler Formeln
Title
Deterministische Überwachung temporaler Formeln
Publication Type
Conference Paper
Year of Publication
1987
Public
no
Authors
Feng, D. S.
, and
U. W. Lipeck
Publisher
Technische Universität Braunschweig
Abstract
no
Tagged
XML
BibTex
Google Scholar