Login / Signup
Parameterized Verification under TSO with Data Types.
Parosh Aziz Abdulla
Mohamed Faouzi Atig
Florian Furbach
Adwait Amit Godbole
Yacoub G. Hendi
Shankara Narayanan Krishna
Stephan Spengler
Published in:
TACAS (1) (2023)
Keyphrases
</>
data types
data model
database management systems
data structure
database systems
user defined
model checking
back end
abstract data types
data mining algorithms
database objects
data formats
data management
data analysis
database server
information retrieval
microsoft sql server
data mining
database