Radu Mateescu und Rhône-Alpes - Info zur Person

(1 - 10 von 12

)

Radu Mateescu - Home Page - Inria

convecs.inria.fr

Radu Mateescu; Address: Inria Grenoble - Rhône-Alpes / CONVECS Inovallée 655, avenue de l'Europe - Montbonnot F Saint Ismier FRANCE : : Phone: +(33) (0) : Fax: +(33) (0) : Web: http://convecs.inria.fr/people/Radu.Mateescu [

Compiler Construction: 11th International Conference, CC 2002, Held...

books.google.de

Hubert Garavel, Frédéric Lang, and Radu Mateescu Inria Rhône-Alpes–Vasy 655, avenue de l'Europe, Montbonnot, France {Hubert.Garavel,Frederic.

Model Checking Software: 11th International SPIN Workshop, Barcelona,...

books.google.de

Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, and Radu Mateescu Inria Rhône-Alpes, 655, avenue de l'Europe, Montbonnot, F Saint ...

Tools and Algorithms for the Construction and Analysis of Systems:...

books.google.de

Damien Bergamini, Nicolas Descoubes, Christophe Joubert, and Radu Mateescu Inria Rhône-Alpes/Vasy, 655, av. de l'Europe, Montbonnot St Martin, ...

Model Checking Software: 11th International SPIN Workshop, ...

books.google.com

Hubert Garavel and Radu Mateescu Inria Rhône-Alpes / Vasy 655, avenue de l'Europe, F Montbonnot Saint Martin, France {Hubert.Garavel,Radu.Mateescu}@ ...

On-the-fly state space reductions for weak equivalences

dl.acm.org

von R Mateescu · · Zitiert von: 36 — Radu Mateescu. INRIA Rhône-Alpes / VASY, Montbonnot St Martin, France. INRIA Rhône-Alpes / VASY, Montbonnot St Martin, France. › doi › abs

Composition and abstraction of logical regulatory modulesOxford Academic

academic.oup.com

von ND Mendes · · Zitiert von: 21 — Radu Mateescu,. Radu Mateescu. 1IGC, Instituto Gulbenkian de Ciência, Rua da Quinta Grande 6, P Oeiras, Portugal, 2Inria Grenoble – Rhône-Alpes and ...

TACAS — International Conference on Tools and Algorithms for the...

tacas.info

Tools chair: Radu Mateescu (INRIA Grenoble Rhône-Alpes, FR) Location: Eindhoven, Netherlands. TACAS Program chairs: Christel Baier, Cesare Tinelli. Proceedings: Lecture Notes in Computer Science Invited speaker: Wang Yi (Uppsala University, SE) Tools chair: Jaco van de Pol (Universiteit Twente, NL)

Compositional Verification of Concurrent Systems by Combining ...hal.univ-reunion.fr › LIG

hal.univ-reunion.fr

Frederic Lang 1 Radu Mateescu 1 Franco Mazzanti 2. Détails. 1 CONVECS - Construction of verified concurrent systems. Inria Grenoble - Rhône-Alpes, ...

Alle Infos zum Namen "Radu Mateescu"

Verwandte Suchanfragen zu Radu Mateescu

Frédéric Lang
Ajay Krishna
Hubert Garavel

Bogdan Radu
Robert Radu

Personen
Vorname "Radu" (740)
Name "Mateescu" (50)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Radu Mateescu und Rhône-Alpes Person-Info