A verification system for timed interval calculus

10.1145/1368088.1368126

Saved in:

Bibliographic Details
Main Authors:	Chen, C., Dong, J.S., Sun, J.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Subjects:	PVS Real-Time Systems Specification Language Theorem Proving
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/40042
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-40042
record_format	dspace
spelling	sg-nus-scholar.10635-400422023-10-26T20:29:31Z A verification system for timed interval calculus Chen, C. Dong, J.S. Sun, J. COMPUTER SCIENCE PVS Real-Time Systems Specification Language Theorem Proving 10.1145/1368088.1368126 Proceedings - International Conference on Software Engineering 271-280 PCSED 2013-07-04T07:55:21Z 2013-07-04T07:55:21Z 2008 Conference Paper Chen, C., Dong, J.S., Sun, J. (2008). A verification system for timed interval calculus. Proceedings - International Conference on Software Engineering : 271-280. ScholarBank@NUS Repository. https://doi.org/10.1145/1368088.1368126 9781605580791 02705257 http://scholarbank.nus.edu.sg/handle/10635/40042 000259592000051 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	PVS Real-Time Systems Specification Language Theorem Proving
spellingShingle	PVS Real-Time Systems Specification Language Theorem Proving Chen, C. Dong, J.S. Sun, J. A verification system for timed interval calculus
description	10.1145/1368088.1368126
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Chen, C. Dong, J.S. Sun, J.
format	Conference or Workshop Item
author	Chen, C. Dong, J.S. Sun, J.
author_sort	Chen, C.
title	A verification system for timed interval calculus
title_short	A verification system for timed interval calculus
title_full	A verification system for timed interval calculus
title_fullStr	A verification system for timed interval calculus
title_full_unstemmed	A verification system for timed interval calculus
title_sort	verification system for timed interval calculus
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/40042
_version_	1781411078225264640

A verification system for timed interval calculus

Similar Items