Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jean-François Raskin
Strategy Synthesis for Multi-Dimensional Quantitative Objectives
Acta Informatica
Computer Networks
Software
Information Systems
Communications
Robust Safety of Timed Automata
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Le Problème De Couverture Pour Les Réseaux De Petri. Résultats Classiques Et Développements Récents
Techniques et sciences informatiques