Electronic Notes in Theoretical Computer Science
Volume 250, Issue 1, 1 September 2009, Pages 171-186
Counter Abstraction in the CSP/FDR setting
Under a Creative Commons license
open access
Keywords
Counter abstraction
model checking
parameterised verification
CSP
Cited by (0)
Copyright © 2009 Elsevier B.V.