A formal specification and annealing of a network-hub in VDM++

Research output: Book/ReportOther report

Original languageEnglish
Place of PublicationGraz
Publisher.
Publication statusPublished - 2001

Publication series

NameTechnical Report IST-TEC-01-03

Cite this

Peischl, B. (2001). A formal specification and annealing of a network-hub in VDM++. (Technical Report IST-TEC-01-03). Graz: .