DC Field
Value
Language
dc.contributor.editor
Charron-Bost, Bernadette
-
dc.contributor.editor
Merz, Stephan
-
dc.contributor.editor
Rybalchenko, Andrey
-
dc.contributor.editor
Widder, Josef
-
dc.date.accessioned
2022-07-29T07:32:59Z
-
dc.date.available
2022-07-29T07:32:59Z
-
dc.date.issued
2013
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Charron-Bost, B., Merz, S., Rybalchenko, A., &#38; Widder, J. (Eds.). (2013). <i>Formal Verification of Distributed Algorithms</i>. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. https://doi.org/10.4230/DagRep.3.4.1</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/23331
-
dc.publisher
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany
-
dc.relation.ispartofseries
Dagstuhl Reports
-
dc.title
Formal Verification of Distributed Algorithms
en
dc.title.alternative
Report from Dagstuhl Seminar 13141
en
dc.type
Konferenzband
de
dc.type
Proceedings
en
dc.relation.issn
2192-5283
-
dc.type.category
Full Paper Book
-
tuw.relation.ispartofseries
Dagstuhl Reports
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
tuw.publisher.doi
10.4230/DagRep.3.4.1
-
dc.description.numberOfPages
16
-
wb.sciencebranch
Mathematik, Informatik
-
wb.sciencebranch.oefos
11
-
item.openairetype
conference proceedings
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_f744
-
Appears in Collections:
Proceedings
Show simple item record

Page view(s)

239
checked on Nov 23, 2023

Google ScholarTM

Check