Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler. Conditional model checking: a technique to pass information between verifiers. In Will Tracz, Martin P. Robillard, Tevfik Bultan, editors, 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), SIGSOFT/FSE'12, Cary, NC, USA - November 11 - 16, 2012. pages 57, ACM, 2012. [doi]