<h1>Holzmann, Gerard J.</h1>
<h2>Monograph from <a href="https://authors.library.caltech.edu">CaltechAUTHORS</a></h2>
<ul>
<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>
</ul>