Publications

Export 3 results:
Author Title Type [ Year(Asc)]
Filters: Author is Jacek Cyranka  [Clear All Filters]
2017
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)