Event Order Abstraction for Parametric Real-Time System Verification (2008)

by Shinya Umeno
Citations:4 - 3 self