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

Research output: Book/ReportOther reportResearch

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: .

A formal specification and annealing of a network-hub in VDM++. / Peischl, Bernhard.

Graz : ., 2001. (Technical Report IST-TEC-01-03).

Research output: Book/ReportOther reportResearch

Peischl, B 2001, A formal specification and annealing of a network-hub in VDM++. Technical Report IST-TEC-01-03, ., Graz.
Peischl B. A formal specification and annealing of a network-hub in VDM++. Graz: ., 2001. (Technical Report IST-TEC-01-03).
Peischl, Bernhard. / A formal specification and annealing of a network-hub in VDM++. Graz : ., 2001. (Technical Report IST-TEC-01-03).
@book{7a64ecfe46964a61ae3f24351143db11,
title = "A formal specification and annealing of a network-hub in VDM++",
author = "Bernhard Peischl",
year = "2001",
language = "English",
series = "Technical Report IST-TEC-01-03",
publisher = ".",

}

TY - BOOK

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

AU - Peischl, Bernhard

PY - 2001

Y1 - 2001

M3 - Other report

T3 - Technical Report IST-TEC-01-03

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

PB - .

CY - Graz

ER -