Skip to main content
English
Deutsch
Español
Français
Log In
Email address
Password
Log in
New user? Click here to register.
Have you forgotten your password?
Communities & Collections
Research Outputs
Fundings & Projects
People
Statistics
English
Deutsch
Español
Français
Log In
Email address
Password
Log in
New user? Click here to register.
Have you forgotten your password?
Home
TEST
Import Publication PUMA
Increasing expressive power of graph rules and conditions and automatic verification with inductive invariants
Details
Export
Statistics
Options
Show all metadata (technical view)
Increasing expressive power of graph rules and conditions and automatic verification with inductive invariants
Date Issued
2012
Author(s)
Dyck, Johannes