Show simple item record

1997-12-01Buch DOI: 10.18452/2473
DAWN
dc.contributor.authorWeber, Michael
dc.contributor.authorWalter, Rolf
dc.contributor.authorVölzer, Hagen
dc.contributor.authorVesper, Tobias
dc.contributor.authorReisig, Wolfgang
dc.contributor.authorPeuker, Sybille
dc.contributor.authorKindler, Ekkart
dc.contributor.authorFreiheit, Jörn
dc.contributor.authorDesel, Jörg
dc.date.accessioned2017-06-15T17:12:15Z
dc.date.available2017-06-15T17:12:15Z
dc.date.created2007-03-21
dc.date.issued1997-12-01
dc.identifier.issn0863-095X
dc.identifier.urihttp://edoc.hu-berlin.de/18452/3125
dc.language.isoger
dc.publisherHumboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik
dc.subjectVerteilte Algorithmenger
dc.subjectVerifikationger
dc.subjectDAWNger
dc.subjectPetrinetzmodelleger
dc.subjectAlgebrager
dc.subject.ddc004 Informatik
dc.titleDAWN
dc.typebook
dc.subtitlePetrinetzmodelle zur Verifikation Verteilter Algorithmen
dc.identifier.urnurn:nbn:de:kobv:11-10076293
dc.identifier.doihttp://dx.doi.org/10.18452/2473
dc.subject.dnb28 Informatik, Datenverarbeitung
local.edoc.container-titleInformatik-Berichte
local.edoc.pages130
local.edoc.type-nameBuch
local.edoc.container-typeseries
local.edoc.container-type-nameSchriftenreihe
local.edoc.container-volume1997
local.edoc.container-issue88
local.edoc.container-year1997
local.edoc.container-erstkatid2942054-4

Show simple item record