.gif)
Entwurf von Systemverhalten durch Spezifikation und Transformation temporaler Anforderungen
| Title | Entwurf von Systemverhalten durch Spezifikation und Transformation temporaler Anforderungen |
| Publication Type | Conference Proceedings |
| Year of Conference | 1988 |
| Authors | Lipeck, U. W., and G. Saake |
| Conference Name | Proc1 GI Jahrestagung |
| Volume | 2 |
| Pagination | 449-463 |
| Publisher | Informatik-Fachbericht 188, Springer |
| Abstract | no |
| Public | no |