TR 2009
时间：2019-07-22 分类：Technical Reports
- ISCAS-LCS-09-01：Wenhui Zhang, Bounded Semantics of CTL and SAT-based Verification
- ISCAS-LCS-09-02：Xin Chen, Wencheng Wang, Texture Synthesis by Interspersing Patches in a Chessboard Pattern
- ISCAS-LCS-09-03：Teng Long, Wenhui Zhang, Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems
- ISCAS-LCS-09-04：Miaomiao Zhang, Zhiming Liu, Naijun Zhan, Model Checking Linear Duration Invariants of Networks of Automata
- ISCAS-LCS-09-05：Dimitar P. Guelev, Naijun Zhan, On Satisfiability in the Modal Fixpoint Logic with Chop
- ISCAS-LCS-09-06：Qiwen Xu, Naijun Zhan, Rate Monotonic Scheduling Re-analysed
- ISCAS-LCS-09-07：Zizhen Wang, Hanpin Wang, Naijun Zhan, Refinement of Models of Software Components
- ISCAS-LCS-09-08：Bican Xia, Lu Yang, Naijun Zhan, Zhihai Zhang, Symbolic Decision Procedure for Termination of Linear Programs
- ISCAS-LCS-09-09：Lu Yang, Chaochen Zhou, Naijun Zhan, Bican Xia, Recent Advances in Program Verification Through Computer Algebra
- ISCAS-LCS-09-10：Xueyang Zhu, Retiming Multi-Rate DSP Algorithms to Meet Real-Time Requirement
- ISCAS-LCS-09-11：Haiming Chen, Derivatives of Regular Expressions
