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