scientific article
From MaRDI portal
Publication:3601862
zbMath1154.68087MaRDI QIDQ3601862
Laurent Van Begin, Pierre Ganty, Jean-François Raskin
Publication date: 12 February 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Fixed point guided abstraction refinement for alternating automata ⋮ Unbounded-Thread Program Verification using Thread-State Equations ⋮ Fixpoint Guided Abstraction Refinement for Alternating Automata
This page was built for publication: