Publication:3601862
From MaRDI portal
zbMath1154.68087MaRDI QIDQ3601862
Laurent Van Begin, Pierre Ganty, Jean-François Raskin
Publication date: 12 February 2009
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Fixed point guided abstraction refinement for alternating automata, Unbounded-Thread Program Verification using Thread-State Equations, Fixpoint Guided Abstraction Refinement for Alternating Automata