| Originalsprache | englisch |
|---|---|
| Erscheinungsort | Graz |
| Verlag | . |
| Publikationsstatus | Veröffentlicht - 2001 |
Publikationsreihe
| Name | Technical Report IST-TEC-01-03 |
|---|
A formal specification and annealing of a network-hub in VDM++
Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht