BEEM: Benchmarks for explicit model checkers (2007)

by Radek Pelánek
Venue:In Proc. of SPIN Workshop, volume 4595 of LNCS
Citations:44 - 5 self