Zur Kurzanzeige

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.rights.urihttp://rightsstatements.org/vocab/InC/1.0/
dc.subjectVerteilte Algorithmenger
dc.subjectVerifikationger
dc.subjectDAWNger
dc.subjectPetrinetzmodelleger
dc.subjectAlgebrager
dc.subject.ddc004 Informatik
dc.titleDAWN
dc.typebook
dc.identifier.urnurn:nbn:de:kobv:11-10076293
dc.identifier.doihttp://dx.doi.org/10.18452/2473
dc.subject.dnb28 Informatik, Datenverarbeitung
local.edoc.pages130
local.edoc.type-nameBuch
local.edoc.container-typeseries
local.edoc.container-type-nameSchriftenreihe
local.edoc.container-year1997
dc.title.subtitlePetrinetzmodelle zur Verifikation Verteilter Algorithmen
dc.identifier.zdb2942054-4
bua.series.nameInformatik-Berichte
bua.series.issuenumber1997,88

Zur Kurzanzeige