Model checking for design and assurance
β
Bonnie Brinton Anderson; James V. Hansen; Paul Benjamin Lowry; Scott L. Summers
π
Article
π
2005
π
Elsevier Science
π
English
β 298 KB