Cited By
View all- Wang XSun JWang TQin S(2017)Language Inclusion Checking of Timed Automata with Non-ZenonessIEEE Transactions on Software Engineering10.1109/TSE.2017.265377843:11(995-1008)Online publication date: 1-Nov-2017
- Ting Wang Jun Sun Xinyu Wang Yang Liu Yuanjie Si Jin Song Dong Xiaohu Yang Xiaohong Li (2015)A Systematic Study on Explicit-State Non-Zenoness Checking for Timed AutomataIEEE Transactions on Software Engineering10.1109/TSE.2014.235989341:1(3-18)Online publication date: 1-Jan-2015
- Si YSun JLiu YWang T(2013)Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry ReductionFormal Methods and Software Engineering10.1007/978-3-642-41202-8_13(182-198)Online publication date: 2013
- Show More Cited By