Skip to Main content Skip to Navigation
New interface
Journal articles

Computable fixpoints in well-structured symbolic model checking

Complete list of metadata

https://hal.inria.fr/hal-00906826
Contributor : Nathalie Bertrand Connect in order to contact the contributor
Submitted on : Wednesday, November 20, 2013 - 1:33:59 PM
Last modification on : Thursday, January 20, 2022 - 4:16:17 PM

Links full text

Identifiers

Citation

Nathalie Bertrand, Philippe Schnoebelen. Computable fixpoints in well-structured symbolic model checking. Formal Methods in System Design, 2013, 43 (2), pp.233-267. ⟨10.1007/s10703-012-0168-y⟩. ⟨hal-00906826⟩

Share

Metrics

Record views

256