Depth bounded explicit-state model checking

In  Proceedings of the 18th international SPIN conference on Model checking software

Publisher  Springer-Verlag

Details

TypeInproceedings
URLhttp://dl.acm.org/citation.cfm?id=2032692.2032700
Pages57–74
ISBN978-3-642-22305-1
AddressBerlin, Heidelberg
> Publications > Depth bounded explicit-state model checking