Holzmann, Gerard J.

Article from CaltechAUTHORS

• Filippidis, Ioannis and Murray, Richard M., et el. (2016) A multi-paradigm language for reactive synthesis; Electronic Proceedings in Theoretical Computer Science (EPTCS); Vol. 202; 73-97; 10.4204/EPTCS.202.6