.gif)
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 |