[12] D. Peled. Combining partial order reductions with on-the-fly model checking. Sixth Conference on Computer Aided Verification, LNCS 818, 377–390, A. Pnueli. The temporal logic of programs. 18th Symposium

First Page		Document Content
Date: 2006-06-02 17:23:41		[12] D. Peled. Combining partial order reductions with on-the-fly model checking. Sixth Conference on Computer Aided Verification, LNCS 818, 377–390, A. Pnueli. The temporal logic of programs. 18th Symposium Add to Reading List Source URL: www.kenmcmil.com Download Document from Source Website File Size: 240,45 KB Share Document on Facebook