Holzmann, Gerard J.

Book Chapter from CaltechAUTHORS

• Filippidis, Ioannis and Holzmann, Gerard J. (2014) An Improvement of the Piggyback Algorithm for Parallel Model Checking; ISBN 978-1-4503-2452-6; SPIN 2014; 48-57; 10.1145/2632362.2632375