DC Field
Value
Language
dc.contributor.author
Charron-Bost, Bernadette
-
dc.contributor.author
Merz, Stephan
-
dc.contributor.author
Rybalchenko, Andrey
-
dc.contributor.author
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. (2013). Formal Verification of Distributed Algorithms. <i>Dagstuhl Reports</i>, <i>3</i>(4), 1–16. https://doi.org/10.4230/DagRep.3.4.1</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/23331
-
dc.language.iso
en
-
dc.publisher
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
-
dc.relation.ispartof
Dagstuhl Reports
-
dc.title
Formal Verification of Distributed Algorithms
en
dc.type
Artikel
de
dc.type
Article
en
dc.contributor.affiliation
École Polytechnique, France
-
dc.contributor.affiliation
Institut national de recherche en sciences et technologies du numérique, France
-
dc.contributor.affiliation
Technical University of Munich, Germany
-
dc.relation.issn
2192-5283
-
dc.description.startpage
1
-
dc.description.endpage
16
-
dc.type.category
Original Research Article
-
tuw.container.volume
3
-
tuw.container.issue
4
-
tuw.peerreviewed
false
-
wb.publication.intCoWork
International Co-publication
-
dcterms.isPartOf.title
Dagstuhl Reports
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
tuw.publisher.doi
10.4230/DagRep.3.4.1
-
dc.identifier.eissn
2192-5283
-
dc.description.numberOfPages
16
-
tuw.author.orcid
0009-0007-0132-8138
-
tuw.author.orcid
0000-0002-3655-684X
-
wb.sciencebranch
Mathematik, Informatik
-
wb.sciencebranch.oefos
11
-
item.languageiso639-1
en
-
item.fulltext
no Fulltext
-
item.grantfulltext
none
-
item.openairetype
research article
-
item.openairecristype
http://purl.org/coar/resource_type/c_2df8fbb1
-
item.cerifentitytype
Publications
-
crisitem.author.dept
École Polytechnique
-
crisitem.author.dept
Institut national de recherche en sciences et technologies du numérique
-
crisitem.author.dept
Technical University of Munich
-
crisitem.author.dept
E191-02 - Forschungsbereich Embedded Computing Systems
-
crisitem.author.orcid
0009-0007-0132-8138
-
crisitem.author.orcid
0000-0002-3655-684X
-
crisitem.author.parentorg
E191 - Institut für Computer Engineering
-
Appears in Collections:
Article
Show simple item record

Page view(s)

310
checked on Nov 23, 2023

Google ScholarTM

Check