Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Author is Greg Byrne  [Clear All Filters]
Conference Paper
Lagrangian Reachabililty, Cyranka, Jacek, Islam Md. Ariful, Byrne Greg, Jones Paul L., Smolka Scott A., and Grosu Radu , Computer Aided Verification - 29th International Conference, {CAV} 2017 Proceedings, Part {I}, (2017)