Home
People
Groups
Recent
Samples
JavaScript
Widgets
Search Feeds
About
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
