acm sigbed
|
emsoft
|
participants
Shinya Umeno
EMSOFT 2008: 8th ACM & IEEE International Conference on Embedded Software
Event Order Abstraction for Parametric Real-Time System Verification
Shinya Umeno
10.1145/1450058.1450060
https://groups.csail.mit.edu/tds/papers/Umeno/UmenoEMSOFT_v2.pdf