Sciweavers

Share
ISOLA
2007
Springer

Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more

10 years 9 months ago
Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more
Michael Leuschel, Daniel Plagge
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where ISOLA
Authors Michael Leuschel, Daniel Plagge
Comments (0)
books