Original language | English |
---|---|
Place of Publication | Eindhoven |
Publisher | Technische Universiteit Eindhoven |
Publication status | Published - 1993 |
Publication series
Name | Computing science notes |
---|---|
Volume | 9310 |
Name | Systems engineering : a formal approach |
---|---|
Volume | 2 |