Show simple item record

1998-03-13Buch DOI: 10.18452/2453
Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen
dc.contributor.authorBaar, Thomas
dc.contributor.authorKindler, Ekkart
dc.date.accessioned2017-06-15T17:08:20Z
dc.date.available2017-06-15T17:08:20Z
dc.date.created2005-07-06
dc.date.issued1998-03-13
dc.identifier.issn0863-095X
dc.identifier.urihttp://edoc.hu-berlin.de/18452/3105
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.subject.ddc004 Informatik
dc.titleEinsatz von ILF und DAWN zur Verifikation verteilter Algorithmen
dc.typebook
dc.identifier.urnurn:nbn:de:kobv:11-10043278
dc.identifier.doihttp://dx.doi.org/10.18452/2453
dc.subject.dnb28 Informatik, Datenverarbeitung
dc.subject.rvkST 130
local.edoc.pages10
local.edoc.type-nameBuch
local.edoc.container-typeseries
local.edoc.container-type-nameSchriftenreihe
local.edoc.container-year1998
dc.identifier.zdb2942054-4
bua.series.nameInformatik-Berichte
bua.series.issuenumber1998,99

Show simple item record