| Original language | English |
|---|---|
| Place of Publication | Graz |
| Publisher | . |
| Publication status | Published - 2001 |
Publication series
| Name | Technical Report IST-TEC-01-03 |
|---|
A formal specification and annealing of a network-hub in VDM++
Research output: Book/Report › Other report