 |
|
|||
| Authors: | Daniel Schweizer |
| Group: | System Engineering |
| Type: | Misc |
| Title: | Beschreibungstechniken und formale Notationen |
| Year: | 1993 |
| Month: | September |
| Pub-Key: | SCH93b |
| Keywords: | Entwicklung Reaktiver Systeme Entwicklung Reaktiver Systeme |
| Remarks: | ETH Zürich, 1993 |
| Resources: | [BibTeX] |
