Computable fixpoints in well-structured symbolic model checking - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Formal Methods in System Design Year : 2013

Dates and versions

hal-00906826 , version 1 (20-11-2013)

Identifiers

Cite

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⟩
261 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More