liu.se
Sök publikationer i DiVA
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:liu:diva-176859
Direktlänk
https://liu.diva-portal.org/smash/record.jsf?pid=diva2:1571025
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
Annat format
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
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
Correction: An integrated specification and verification technique for highly concurrent data structures (vol 19, pg 549, 2017)
Abdulla, Parosh Aziz
Uppsala Univ, Sweden.
Haziza, Frederic
Uppsala Univ, Sweden.
Holik, Lukas
Uppsala Univ, Sweden; Brno Univ Technol, Czech Republic.
Jonsson, Bengt
Uppsala Univ, Sweden.
Rezine, Ahmed
Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
Visa övriga samt affilieringar
2021 (Engelska)
Ingår i:
International Journal on Software Tools for Technology Transfer, ISSN 1433-2779, E-ISSN 1433-2787, Vol. 23, artikel-id 825
Artikel i tidskrift (Övrigt vetenskapligt) Published
Abstract [en]
n/a
Ort, förlag, år, upplaga, sidor
SPRINGER HEIDELBERG , 2021. Vol. 23, artikel-id 825
Identifikatorer
URN:
urn:nbn:se:liu:diva-176859
DOI:
10.1007/s10009-021-00629-9
ISI:
000656391300001
OAI: oai:DiVA.org:liu-176859
DiVA, id:
diva2:1571025
Tillgänglig från:
2021-06-22
Skapad:
2021-06-22
Senast uppdaterad:
2024-01-17
Open Access i DiVA
Fulltext saknas i DiVA
Övriga länkar
Förlagets fulltext
Original article
Sök vidare i DiVA
Av författaren/redaktören
Rezine, Ahmed
Av organisationen
Programvara och system
Tekniska fakulteten
I samma tidskrift
International Journal on Software Tools for Technology Transfer
Sök vidare utanför DiVA
Google
Google Scholar
doi
urn-nbn
Altmetricpoäng
doi
urn-nbn
Totalt: 214 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:liu:diva-176859
Direktlänk
https://liu.diva-portal.org/smash/record.jsf?pid=diva2:1571025
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
Annat format
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
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.43.0
|
Om tillgänglighet
|
DiVA portal
|
DiVA Logga in
|
Kontakta oss
|
LiU universitetbibliotek
|
SwePub
|
Uppsök
DiVA
Logotyp