Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Doyen, Laurent - Laboratoire Spécification et Vérification, Ecole Normale Supérieure de Cachan
Realizability of RealTime Logics # L. Doyen 1 , G. Geeraerts 1 , J.F. Raskin 1 , and J. Reichert 2
MeanPayoff Automaton Expressions # Krishnendu Chatterjee 1 , Laurent Doyen 2 , Herbert Edelsbrunner 1 ,
