Home
Interesting shortcuts
Programmes and Partnerships
Search
European Partnerships
EU-Programme-Call
Projects
Projects
Resources
Resources
www.decubber.com
Login
Project
AVS-ISS
Organisations
Analysis, Verification, and Synthesis for Infinite-State Systems
Full project page
Organisations map overview
MAX PLANCK GESELLSCHAFT ZUR FOERDERUNG DER WISSENSCHAFTEN E.V.
- (Coördinator)
Country:
THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
Country: