| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 3 |       | Khalil Ghorbal, Eric Goubault, Sylvie Putot: A Logical Product Approach to Zonotope Intersection. CAV 2010: 212-226 |
| 2 | | Khalil Ghorbal, Eric Goubault, Sylvie Putot: A Logical Product Approach to Zonotope Intersection CoRR abs/1002.2236: (2010) |
| 1 | | Khalil Ghorbal, Eric Goubault, Sylvie Putot: The Zonotope Abstract Domain Taylor1+. CAV 2009: 627-633 |
Selection of 3 from 4 records - Khalil Ghorbal has 6 coauthors
Last update 2012-02-16 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page