Verifying stateful timed CSP using implicit clocks and zone abstraction

10.1007/978-3-642-10373-5_30

Saved in:

Bibliographic Details
Main Authors:	Sun, J., Liu, Y., Dong, J.S., Zhang, X.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/40018
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-40018
record_format	dspace
spelling	sg-nus-scholar.10635-400182015-03-13T11:07:17Z Verifying stateful timed CSP using implicit clocks and zone abstraction Sun, J. Liu, Y. Dong, J.S. Zhang, X. COMPUTER SCIENCE 10.1007/978-3-642-10373-5_30 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5885 LNCS 581-600 2013-07-04T07:54:49Z 2013-07-04T07:54:49Z 2009 Conference Paper Sun, J.,Liu, Y.,Dong, J.S.,Zhang, X. (2009). Verifying stateful timed CSP using implicit clocks and zone abstraction. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5885 LNCS : 581-600. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-10373-5_30" target="_blank">https://doi.org/10.1007/978-3-642-10373-5_30</a> 3642103723 03029743 http://scholarbank.nus.edu.sg/handle/10635/40018 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
description	10.1007/978-3-642-10373-5_30
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Sun, J. Liu, Y. Dong, J.S. Zhang, X.
format	Conference or Workshop Item
author	Sun, J. Liu, Y. Dong, J.S. Zhang, X.
spellingShingle	Sun, J. Liu, Y. Dong, J.S. Zhang, X. Verifying stateful timed CSP using implicit clocks and zone abstraction
author_sort	Sun, J.
title	Verifying stateful timed CSP using implicit clocks and zone abstraction
title_short	Verifying stateful timed CSP using implicit clocks and zone abstraction
title_full	Verifying stateful timed CSP using implicit clocks and zone abstraction
title_fullStr	Verifying stateful timed CSP using implicit clocks and zone abstraction
title_full_unstemmed	Verifying stateful timed CSP using implicit clocks and zone abstraction
title_sort	verifying stateful timed csp using implicit clocks and zone abstraction
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/40018
_version_	1681082195621445632

Verifying stateful timed CSP using implicit clocks and zone abstraction

Similar Items