 |
|
|||
| Authors: | Hugo Fierz, M Müller |
| Group: | System Engineering |
| Type: | Misc |
| Title: | Ineltec 95 - Sonderpräsentation Hochschulen |
| Year: | 1995 |
| Month: | January |
| Pub-Key: | FIE95c |
| Keywords: | Formal Methods, Reactive Systems Formal Methods, Reactive Systems |
| Remarks: | Messe Basel, 1995 |
| Howpublished: | Messe Basel |
| Resources: | [BibTeX] |
