@InProceedings{ schmalz.ea:model:2007, author = {Matthias Schmalz and Hagen V\"olzer and Daniele Varacca}, booktitle = {FSTTCS'07}, copyright = {Springer}, copyrighturl = {http://www.springer.de/comp/lncs}, language = {USenglish}, note = {The pdf link refers to the technical report version.}, pages = {532--543}, pdf = {papers/2007/1_main.pdf}, publisher = {Springer}, series = {LNCS}, title = {Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths}, volume = 4855, year = 2007, user = {mschmalz} }