Sökning: id:"swepub:oai:DiVA.org:uu-510227" >
Tailoring Stateless...
Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs
-
- Abdulla, Parosh, Professor, 1961- (författare)
- Uppsala universitet,Datorteknik,Avdelningen för datorteknik
-
- Atig, Mohamed Faouzi, Professor, 1981- (författare)
- Uppsala universitet,Datorteknik,Avdelningen för datorteknik
-
Meyer Bonneland, Frederik (författare)
-
visa fler...
-
- Das, Sarbojit (författare)
- Uppsala universitet,Datorteknik,Avdelningen för datorteknik
-
- Jonsson, Bengt, 1957- (författare)
- Uppsala universitet,Datorteknik,Avdelningen för datorteknik
-
- Lång, Magnus, 1991- (författare)
- Uppsala universitet,Datorteknik,Avdelningen för datorteknik
-
- Sagonas, Konstantinos (författare)
- Uppsala universitet,Datalogi
-
visa färre...
-
(creator_code:org_t)
- 2023
- 2023
- Engelska.
-
Ingår i: Automated Technology for Verification and Analysis, 21st International Symposium, ATVA 2023, Singapore, Oct. 2023. Proceedings..
- Relaterad länk:
-
https://urn.kb.se/re...
Ämnesord
Stäng
Nyckelord
- Computer Science
- Datavetenskap
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
- Av författaren/redakt...
-
Abdulla, Parosh, ...
-
Atig, Mohamed Fa ...
-
Meyer Bonneland, ...
-
Das, Sarbojit
-
Jonsson, Bengt, ...
-
Lång, Magnus, 19 ...
-
visa fler...
-
Sagonas, Konstan ...
-
visa färre...
- Artiklar i publikationen
- Automated Techno ...
- Av lärosätet
-
Uppsala universitet