<h1>Holzmann, Gerard J.</h1>
<h2>Software 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>
</ul>