Holzmann, Gerard J.
Article from CaltechAUTHORS
- Filippidis, Ioannis and Murray, Richard M., el al. (2016) A multi-paradigm language for reactive synthesis; Electronic Proceedings in Theoretical Computer Science (EPTCS); Vol. 202; 73-97; 10.4204/EPTCS.202.6