liu.se
Search for publications in DiVA
Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
Statistics
English
Svenska
Norsk
Jump to content
Change search
Search
Search
Only documents with full text in DiVA
Cite
Export
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
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-176859
Direct link
https://liu.diva-portal.org/smash/record.jsf?pid=diva2:1571025
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
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öping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
Show others and affiliations
2021 (English)
In:
International Journal on Software Tools for Technology Transfer, ISSN 1433-2779, E-ISSN 1433-2787, Vol. 23, article id 825
Article in journal (Other academic) Published
Abstract [en]
n/a
Place, publisher, year, edition, pages
SPRINGER HEIDELBERG , 2021. Vol. 23, article id 825
Identifiers
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
Available from:
2021-06-22
Created:
2021-06-22
Last updated:
2024-01-17
Open Access in DiVA
No full text in DiVA
Other links
Publisher's full text
Original article
Search in DiVA
By author/editor
Rezine, Ahmed
By organisation
Software and Systems
Faculty of Science & Engineering
In the same journal
International Journal on Software Tools for Technology Transfer
Search outside of DiVA
Google
Google Scholar
doi
urn-nbn
Altmetric score
doi
urn-nbn
Total: 214 hits
Cite
Export
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
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-176859
Direct link
https://liu.diva-portal.org/smash/record.jsf?pid=diva2:1571025
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
v. 2.43.0
|
Accessibility
|
DiVA portal
|
DiVA Log in
|
Contact us
|
LiU University Library
|
SwePub
|
Uppsök
DiVA
Logotyp