id: 70269913
dt: a
an: 70269913
au: Verstoep, Kees; Bal, Henri E.; Barnat, Jiri; Brim, Lubos
ti: Efficient large-scale model checking
so: IPDPS, 1-12 (2009).
py: 2009
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1109/IPDPS.2009.5161000