| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 2 |      | Barbara Di Giampaolo, Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder: Safraless Procedures for Timed Specifications. FORMATS 2010: 2-22 |
| 1 | | Barbara Di Giampaolo, Salvatore La Torre, Margherita Napoli: Parametric Metric Interval Temporal Logic. LATA 2010: 249-260 |
| 1 | Gilles Geeraerts | [2] |
| 2 | Margherita Napoli | [1] |
| 3 | Jean-François Raskin | [2] |
| 4 | Nathalie Sznajder | [2] |
| 5 | Salvatore La Torre | [1] |
Colors in the list of coauthors
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page