Visible to the public Biblio

Filters: Author is Paul Jones  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
L
Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul Jones, Scott A. Smolka, Radu Grosu.  2017.  Lagrangian Reachability. International Conference on Computer Aided Verification (CAV 2017). :379–400.