hh.se
Publikasjoner
vente ...
Enkelt søk
Avansert søk -
Forskningspublikasjoner
Avansert søk -
Studentoppgaver
Statistikk
English
Svenska
Norsk
Jump to content
Endre søk
Søk
Søk
Kun dokumenter med fulltekst i DiVA
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 4
CSV alle metadata
CSV alle metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-20508
Direct link
http://hh.diva-portal.org/smash/record.jsf?pid=diva2:585563
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
Annet format
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
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
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 (engelsk)
Rapport (Annet vitenskapelig)
sted, utgiver, år, opplag, sider
Eindhoven: Technische Universiteit Eindhoven , 2009.
Serie
Computer science report ; 09-04
HSV kategori
Identifikatorer
URN:
urn:nbn:se:hh:diva-20508
OAI: oai:DiVA.org:hh-20508
DiVA, id:
diva2:585563
Tilgjengelig fra:
2013-01-10
Laget:
2013-01-08
Sist oppdatert:
2018-01-11
bibliografisk kontrollert
Open Access i DiVA
Fulltekst mangler i DiVA
Andre lenker
http://www.win.tue.nl/~mousavi/csr-09-04.pdf
Person
Mousavi, Mohammad Reza
Søk i DiVA
Av forfatter/redaktør
Mousavi, Mohammad Reza
Om emnet
Søk utenfor DiVA
Google
Google Scholar
urn-nbn
Altmetric
urn-nbn
Totalt: 180 treff
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 4
CSV alle metadata
CSV alle metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-20508
Direct link
http://hh.diva-portal.org/smash/record.jsf?pid=diva2:585563
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
Annet format
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
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
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