WFRF:(Jonsson Bengt)
Sökning: WFRF:(Jonsson Bengt) > (2020-2024) > Correction: An inte...
- 1 av 65
- Föregående post
- Nästa post
- Till träfflistan
- Abdulla, Parosh AzizUppsala Univ, Sweden (författare)
Correction: An integrated specification and verification technique for highly concurrent data structures (vol 19, pg 549, 2017)
- Artikel/kapitelEngelska2021
Förlag, utgivningsår, omfång ...
- 2021-05-31
- SPRINGER HEIDELBERG,2021
- printrdacarrier
Nummerbeteckningar
- LIBRIS-ID:oai:DiVA.org:liu-176859
- https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-176859URI
- https://doi.org/10.1007/s10009-021-00629-9DOI
Kompletterande språkuppgifter
- Språk:engelska
- Sammanfattning på:engelska
Ingår i deldatabas
- SwePubSwePub
Klassifikation
Anmärkningar
- n/a
Biuppslag (personer, institutioner, konferenser, titlar ...)
- Haziza, FredericUppsala Univ, Sweden (författare)
- Holik, LukasUppsala Univ, Sweden; Brno Univ Technol, Czech Republic (författare)
- Jonsson, BengtUppsala Univ, Sweden (författare)
- Rezine, AhmedLinköpings universitet,Programvara och system,Tekniska fakulteten(Swepub:liu)ahmre43 (författare)
- Uppsala Univ, SwedenUppsala Univ, Sweden; Brno Univ Technol, Czech Republic (creator_code:org_t)
Sammanhörande titlar
- Ingår i:International Journal on Software Tools for Technology Transfer: SPRINGER HEIDELBERG231433-27791433-2787
Internetlänk
Hitta via bibliotek
- International Journal on Software Tools for Technology Transfer (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
- 1 av 65
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- Abdulla, Parosh ...
- Haziza, Frederic
- Holik, Lukas
- Jonsson, Bengt
- Rezine, Ahmed
- Artiklar i publikationen
- International Jo ...
- Av lärosätet
- Linköpings universitet
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
