Loading...
The system can't perform the operation now. Try again later.
Articles
Case law
Profiles
My profile
My library
Metrics
Alerts
Settings
Get journal articles
Get journal articles
Profiles
My profile
My library
Fabian Büttner
AtlanMod group, INRIA (previously Database Systems Group, University of Bremen)
Verified email at inria.fr
Cited by 1740
MDE and Formal Methods
Verification
Privacy
Terms
Help
About Scholar
Search help