Toggle navigation
Home
People
Departments
Research
About
Login
Search
Proceedings of the 2014 International C* Conference on Computer Science & Software Engineering - C3S2E '14
Journal
Overview
Overview
publication venue for
Verification and Code Generation for Timed Transitions in pCharts
2008