Skip to Main content Skip to Navigation
Journal articles

Model-Checking on Ordered Structures

Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-02901295
Contributor : Patrice Ossona de Mendez <>
Submitted on : Friday, July 17, 2020 - 9:10:19 AM
Last modification on : Monday, December 28, 2020 - 10:22:04 AM

Links full text

Identifiers

Collections

Citation

Patrice Ossona de Mendez, Kord Eickmeyer, Jan van Den Heuvel, Ken-Ichi Kawarabayashi, Stephan Kreutzer, et al.. Model-Checking on Ordered Structures. ACM Transactions on Computational Logic, Association for Computing Machinery, 2020, 21 (2), pp.1-28. ⟨10.1145/3360011⟩. ⟨hal-02901295⟩

Share

Metrics

Record views

31