<h1>Holzmann, Gerard J.</h1>
<h2>Book Chapter from <a href="https://authors.library.caltech.edu">CaltechAUTHORS</a></h2>
<ul>
<li>Filippidis, Ioannis and Holzmann, Gerard J. (2014) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20140804-125108488">An Improvement of the Piggyback Algorithm for Parallel Model Checking</a>; ISBN 978-1-4503-2452-6; SPIN 2014; 48-57; <a href="https://doi.org/10.1145/2632362.2632375">10.1145/2632362.2632375</a></li>
</ul>