| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 3 |      | Jan Olaf Blech, Benoît Boyer, Thanh-Hung Nguyen: On the Simulation of Time-Triggered Systems on a Chip with BIP CoRR abs/1109.5505: (2011) |
| 2009 | ||
| 2 | | Benoît Boyer, Thomas Genet: Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems RULE 2009: 99-108 |
| 2008 | ||
| 1 | | Benoît Boyer, Thomas Genet, Thomas P. Jensen: Certifying a Tree Automata Completion Checker. IJCAR 2008: 523-538 |
| 1 | Jan Olaf Blech | [3] |
| 2 | Thomas Genet | [1] [2] |
| 3 | Thomas P. Jensen | [1] |
| 4 | Thanh-Hung Nguyen | [3] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page