Automatic Abstraction for Synthesis and Verification of Deterministic Timed Systems
Type
Publication
2000 ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems
Hao Zheng
University of South Florida, Associate Professor
