Holzmann, Gerard J.

Software from CaltechAUTHORS

• Holzmann, Gerard J. (2019) Tau -- a lightweight tool for specifying and verifying tiny automata models