Combining Partial Order Reduction with Symbolic Model Checking

TitleCombining Partial Order Reduction with Symbolic Model Checking
Publication TypeBook
Year of Publication2012
AuthorsMeulen, JV
Volume370
URLhttp://lvl.info.ucl.ac.be/Publications/CombiningPartialOrderReductionWithSymbolicModelChecking