title = { Proof Trick: Small Inversions },
author = {Monin, Jean-Fran\c{c}ois},
month = {July},
year = {2010},
booktitle = {Second Coq Workshop},
address = {Royaume-Uni Edinburgh},
team = {DCS,PACSS},
}
bibtex
@inproceedings{Mon10c,
title = { Proof Trick: Small Inversions },
author = {Monin, Jean-Fran\c{c}ois},
month = {July},
year = {2010},
booktitle = {Second Coq Workshop},
address = {Royaume-Uni Edinburgh},
team = {DCS,PACSS},
}
title = { Proof Trick: Small Inversions },
author = {Monin, Jean-Fran\c{c}ois},
month = {July},
year = {2010},
booktitle = {Second Coq Workshop},
address = {Royaume-Uni Edinburgh},
team = {DCS,PACSS},
}
Navigation
Actualités
-
ACTUALITÉS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book : Introduction to Distributed Self-Stabilizing Algorithms
- Automatisation : y aura-t-il un pilote dans l’avion ?
Séminaires
Nouvelles publications
- Publications
Récentes
- Mahieddine Dellabani: Formal Methods for Distributed Real-Time Systems
- Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, Rémy Boutonnet: Improving WCET Evaluation using Linear Relation Analysis
- Guillaume Phavorin, Pascal Richard, Joël Goossens, Claire Maiza, Laurent George, Thomas Chapeaux: Online and offline scheduling with cache-related preemption delays
- Stéphane Devismes, Colette Johnen: Soyez efficace, rembobinez
- Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits: DesignBIP: A Design Studio for Modeling and Generating Systems with BIP
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit: Gradual stabilization
