Timm, Nils: Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems. 2013
Inhalt