DAWN
dc.contributor.author | Weber, Michael | |
dc.contributor.author | Walter, Rolf | |
dc.contributor.author | Völzer, Hagen | |
dc.contributor.author | Vesper, Tobias | |
dc.contributor.author | Reisig, Wolfgang | |
dc.contributor.author | Peuker, Sybille | |
dc.contributor.author | Kindler, Ekkart | |
dc.contributor.author | Freiheit, Jörn | |
dc.contributor.author | Desel, Jörg | |
dc.date.accessioned | 2017-06-15T17:12:15Z | |
dc.date.available | 2017-06-15T17:12:15Z | |
dc.date.created | 2007-03-21 | |
dc.date.issued | 1997-12-01 | |
dc.identifier.issn | 0863-095X | |
dc.identifier.uri | http://edoc.hu-berlin.de/18452/3125 | |
dc.language.iso | ger | |
dc.publisher | Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik | |
dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | |
dc.subject | Verteilte Algorithmen | ger |
dc.subject | Verifikation | ger |
dc.subject | DAWN | ger |
dc.subject | Petrinetzmodelle | ger |
dc.subject | Algebra | ger |
dc.subject.ddc | 004 Informatik | |
dc.title | DAWN | |
dc.type | book | |
dc.identifier.urn | urn:nbn:de:kobv:11-10076293 | |
dc.identifier.doi | http://dx.doi.org/10.18452/2473 | |
dc.subject.dnb | 28 Informatik, Datenverarbeitung | |
local.edoc.pages | 130 | |
local.edoc.type-name | Buch | |
local.edoc.container-type | series | |
local.edoc.container-type-name | Schriftenreihe | |
local.edoc.container-year | 1997 | |
dc.title.subtitle | Petrinetzmodelle zur Verifikation Verteilter Algorithmen | |
dc.identifier.zdb | 2942054-4 | |
bua.series.name | Informatik-Berichte | |
bua.series.issuenumber | 1997,88 |