<h1>Holzmann, Gerard J.</h1>
<h2>Combined from <a href="https://authors.library.caltech.edu">CaltechAUTHORS</a></h2>
<ul>
<li>Holzmann, Gerard J. (2019) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20191028-150942118">Tau -- a lightweight tool for specifying and verifying tiny automata models</a></li>
<li>Filippidis, Ioannis and Murray, Richard M., el al. (2016) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20190410-120619515">A multi-paradigm language for reactive synthesis</a>; Electronic Proceedings in Theoretical Computer Science (EPTCS); Vol. 202; 73-97; <a href="https://doi.org/10.4204/EPTCS.202.6">10.4204/EPTCS.202.6</a></li>
<li>Filippidis, Ioannis and Murray, Richard M., el al. (2015) <a href="https://resolver.caltech.edu/CaltechCDSTR:2015.003">Synthesis from multi-paradigm specifications</a></li>
<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>