Home
People
Groups
Recent
Samples
JavaScript
Widgets
Search Feeds
About
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