Toggle navigation
Home
People
Departments
Research
About
Login
Search
12th International Colloquium on Theoretical Aspects of Computing (ICTAC)
Conference
Scholarly Activity
Scholarly Activity
related documents
Modeling Product Lines with Kripke Structures and Modal Logic
Conferences