hh.se
Publikationer
Vänta ...
Enkel sökning
Avancerad sökning -
Forskningspublikationer
Avancerad sökning -
Studentuppsatser
Statistik
English
Svenska
Norsk
Hoppa till innehåll
Ändra sökning
Sök
Sök
Endast dokument med fulltext i DiVA
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Länk till posten
Permanent länk
https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-20508
Direktlänk
http://hh.diva-portal.org/smash/record.jsf?pid=diva2:585563
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
Annat format
apa
ieee
modern-language-association-8th-edition
vancouver
Annat format
Fler format
Språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk
Fler språk
Utmatningsformat
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Skapa
Stäng
Formal specification and analysis of accelerated heartbeat protocols
Atif, Muhammad
Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands.
Mousavi, Mohammad Reza
Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands.
ORCID-id:
0000-0002-4869-6794
2009 (Engelska)
Rapport (Övrigt vetenskapligt)
Ort, förlag, år, upplaga, sidor
Eindhoven: Technische Universiteit Eindhoven , 2009.
Serie
Computer science report ; 09-04
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN:
urn:nbn:se:hh:diva-20508
OAI: oai:DiVA.org:hh-20508
DiVA, id:
diva2:585563
Tillgänglig från:
2013-01-10
Skapad:
2013-01-08
Senast uppdaterad:
2018-01-11
Bibliografiskt granskad
Open Access i DiVA
Fulltext saknas i DiVA
Övriga länkar
http://www.win.tue.nl/~mousavi/csr-09-04.pdf
Person
Mousavi, Mohammad Reza
Sök vidare i DiVA
Av författaren/redaktören
Mousavi, Mohammad Reza
I ämnet
Data- och informationsvetenskap
Sök vidare utanför DiVA
Google
Google Scholar
urn-nbn
Altmetricpoäng
urn-nbn
Totalt: 180 träffar
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Länk till posten
Permanent länk
https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-20508
Direktlänk
http://hh.diva-portal.org/smash/record.jsf?pid=diva2:585563
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
Annat format
apa
ieee
modern-language-association-8th-edition
vancouver
Annat format
Fler format
Språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk
Fler språk
Utmatningsformat
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Skapa
Stäng
v. 2.44.0
|
WCAG
|
Högskolebiblioteket i Halmstad
|
Info för studenter
|
Info för forskare
|
Logga in
DiVA
Logotyp