Show simple item record

2005-06-30Buch DOI: 10.18452/2444
Analysis and formal Verification of SDL'92 Specifications using Extended Petri Nets
dc.contributor.authorFischer, Joachim
dc.contributor.authorDimitrov, Evgeni
dc.contributor.authorTaubert, Udo
dc.date.accessioned2017-06-15T17:06:37Z
dc.date.available2017-06-15T17:06:37Z
dc.date.created2005-06-30
dc.date.issued2005-06-30
dc.identifier.issn0863-095X
dc.identifier.urihttp://edoc.hu-berlin.de/18452/3096
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.subjectExtended Petri Neteng
dc.subjectFormal Specificationseng
dc.subjectSDL'92eng
dc.subjectSDL Integrated Tools Environmenteng
dc.subjectProtocol Verificationeng
dc.subjectInres and Sliding Window Protocolseng
dc.subject.ddc004 Informatik
dc.titleAnalysis and formal Verification of SDL'92 Specifications using Extended Petri Nets
dc.typebook
dc.identifier.urnurn:nbn:de:kobv:11-10043047
dc.identifier.doihttp://dx.doi.org/10.18452/2444
dc.subject.dnb28 Informatik, Datenverarbeitung
dc.subject.rvkST 130
local.edoc.pages79
local.edoc.type-nameBuch
local.edoc.container-typeseries
local.edoc.container-type-nameSchriftenreihe
local.edoc.container-year1995
dc.identifier.zdb2942054-4
bua.series.nameInformatik-Berichte
bua.series.issuenumber1995,43

Show simple item record