from CaltechAUTHORS

• Filippidis, Ioannis; 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