Parameterized Verification under TSO with Data Types

Abdulla, Parosh, Professor, 1961- (författare)

Uppsala universitet,Avdelningen för datorteknik,Datorteknik

Atig, Mohamed Faouzi (författare)

Uppsala universitet,Avdelningen för datorteknik,Datorteknik

Furbach, Florian (författare)

Uppsala universitet,Datorteknik,Avdelningen för datorteknik

visa fler...

Godbole, Adwait A. (författare)

UC Berkeley, Berkeley, USA

Hendi, Yacoub G. (författare)

Uppsala universitet,Datorteknik,Avdelningen för datorteknik

Krishna, Shankara N. (författare)

Indian Institute of Technology Bombay, Mumbai, India

Spengler, Stephan (författare)

Uppsala universitet,Datorteknik,Avdelningen för datorteknik

visa färre...

 (creator_code:org_t)

2023

2023

Engelska.

Ingår i: Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, {TACAS} 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2022, Paris, France, April 22-27, 2023, Proceedings, Part {I}. - 9783031308239 ; , s. 588-606

Relaterad länk:

https://doi.org/10.1...

visa fler...

https://library.oape...

https://urn.kb.se/re...

https://doi.org/10.1...

visa färre...

• Konferensbidrag (refereegranskat)