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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Originalspracheenglisch
ErscheinungsortGraz
Verlag.
PublikationsstatusVeröffentlicht - 2001

Publikationsreihe

NameTechnical Report IST-TEC-01-03

Dies zitieren

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

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 -