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

id	sg-nus-scholar.10635-127382
record_format	dspace
spelling	sg-nus-scholar.10635-1273822023-10-30T22:47:38Z A systematic study on explicit-state non-zenoness checking for timed automata Wang, T. Sun, J. Wang, X. Liu, Y. Si, Y. Dong, J.S. Yang, X. Li, X. COMPUTER SCIENCE 10.1109/TSE.2014.2359893 IEEE Transactions on Software Engineering 41 1 3-18 2016-09-09T00:51:09Z 2016-09-09T00:51:09Z 2015 Article Wang, T., Sun, J., Wang, X., Liu, Y., Si, Y., Dong, J.S., Yang, X., Li, X. (2015). A systematic study on explicit-state non-zenoness checking for timed automata. IEEE Transactions on Software Engineering 41 (1) : 3-18. ScholarBank@NUS Repository. https://doi.org/10.1109/TSE.2014.2359893 985589 http://scholarbank.nus.edu.sg/handle/10635/127382 000347788400002 Institute of Electrical and Electronics Engineers Inc.
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
description	10.1109/TSE.2014.2359893
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Wang, T. Sun, J. Wang, X. Liu, Y. Si, Y. Dong, J.S. Yang, X. Li, X.
format	Article
author	Wang, T. Sun, J. Wang, X. Liu, Y. Si, Y. Dong, J.S. Yang, X. Li, X.
spellingShingle	Wang, T. Sun, J. Wang, X. Liu, Y. Si, Y. Dong, J.S. Yang, X. Li, X. A systematic study on explicit-state non-zenoness checking for timed automata
author_sort	Wang, T.
title	A systematic study on explicit-state non-zenoness checking for timed automata
title_short	A systematic study on explicit-state non-zenoness checking for timed automata
title_full	A systematic study on explicit-state non-zenoness checking for timed automata
title_fullStr	A systematic study on explicit-state non-zenoness checking for timed automata
title_full_unstemmed	A systematic study on explicit-state non-zenoness checking for timed automata
title_sort	systematic study on explicit-state non-zenoness checking for timed automata
publisher	Institute of Electrical and Electronics Engineers Inc.
publishDate	2016
url	http://scholarbank.nus.edu.sg/handle/10635/127382
_version_	1781790358382837760

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

Similar Items