Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Raskin, Jean-Francois - Département d'Informatique, Université Libre de Bruxelles
List of the potential questions for "Calculability and Complexity"
Towards the Automated Veri cation of Multithreaded Java Programs
Attacking Symbolic State Explosion Giorgio Delzanno 1;? Jean-Fran cois Raskin 2;?? Laurent Van Begin 2;? ? ?
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
Petri Games are Monotonic but Di#cult to Decide #
RealTime ModelChecking: Parameters Everywhere
A Comparison of Control Problems for Timed and Hybrid Systems
Syst emes hybrides et temps-r eel : analyse et contr^ole Jean-Fran cois Raskin
Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic
Symbolic Distributed Veri cation of a Class of Parametric Concurrent Systems
INFINITY 2003 Preliminary Version Petri Nets with Nonblocking Arcs
Curriculum Vit 1 Informations generales
Calculability and Prof. Jean-Franois Raskin
D'autres problmes NP-complets
