Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marc Pantel
Model Transformations With Tom
Formal Verification of User-Level Real-Time Property Patterns
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
SéMo'07, Premier Atelier Sur La Sémantique Des Modèles
L'objet
