A systematic study on explicit-state non-zenoness checking for timed automata

10.1109/TSE.2014.2359893

Saved in:
Bibliographic Details
Main Authors: Wang, T., Sun, J., Wang, X., Liu, Y., Si, Y., Dong, J.S., Yang, X., Li, X.
Other Authors: COMPUTER SCIENCE
Format: Article
Published: Institute of Electrical and Electronics Engineers Inc. 2016
Online Access:http://scholarbank.nus.edu.sg/handle/10635/127382
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore