Sciweavers

86
Voted
FMCO
2005
Springer
156views Formal Methods» more  FMCO 2005»
15 years 3 months ago
Abstraction and Refinement in Model Checking
ion and Refinement in Model Checking Orna Grumberg Technion, Haifa, Israel FMCO, Amsterdam November 2005
Orna Grumberg