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