Publications
Export 1 results:
Author Title Type [ Year
] Filters: First Letter Of Title is H and Author is J.P. Gallagher [Clear All Filters]
.
2016. Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. J. Computer Languages, Systems & Structures. 46
ICT-Energy group
