hh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems
Eindhoven University of Technology, Department of Computer Science, Eindhoven, The Netherlands.
Eindhoven University of Technology, Department of Computer Science, Eindhoven, The Netherlands.ORCID-id: 0000-0002-4869-6794
Eindhoven University of Technology, Department of Computer Science, Eindhoven, The Netherlands.
2012 (engelsk)Inngår i: SAC '12 Proceedings of the 27th ACM Symposium on Applied Computing, New York, NY: ACM Press, 2012, s. 478-485Konferansepaper, Publicerat paper (Fagfellevurdert)
sted, utgiver, år, opplag, sider
New York, NY: ACM Press, 2012. s. 478-485
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-20327DOI: 10.1145/2245276.2245369Scopus ID: 2-s2.0-84863593444ISBN: 978-145030857-1 OAI: oai:DiVA.org:hh-20327DiVA, id: diva2:583410
Konferanse
27th Annual ACM Symposium on Applied Computing, SAC 2012, Trento, Italy, 26-30 March
Tilgjengelig fra: 2013-01-08 Laget: 2013-01-08 Sist oppdatert: 2018-01-11bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Mousavi, Mohammad Reza

Søk i DiVA

Av forfatter/redaktør
Mousavi, Mohammad Reza

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 173 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf