Old Web
English
Sign In
Acemap
>
Paper
>
Parameterized Model Checking Modulo Explicit Weak Memory Models
Parameterized Model Checking Modulo Explicit Weak Memory Models
2018
Sylvain Conchon
David Declerck
Fatiha Zaïdi
Keywords:
Parameterized complexity
Algebra
Model checking
Modulo
Computer science
Correction
Cite
Save
Machine Reading By IdeaReader
11
References
0
Citations
NaN
KQI
[]