Verification of computation Orchestration via timed automata

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Saved in:

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

id	sg-nus-scholar.10635-38954
record_format	dspace
spelling	sg-nus-scholar.10635-389542024-11-09T04:32:27Z Verification of computation Orchestration via timed automata Dong, J.S. Liu, Y. Sun, J. Zhang, X. COMPUTER SCIENCE Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4260 LNCS 226-245 2013-07-04T07:30:39Z 2013-07-04T07:30:39Z 2006 Article Dong, J.S.,Liu, Y.,Sun, J.,Zhang, X. (2006). Verification of computation Orchestration via timed automata. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4260 LNCS : 226-245. ScholarBank@NUS Repository. 3540474609 03029743 http://scholarbank.nus.edu.sg/handle/10635/38954 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
description	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Dong, J.S. Liu, Y. Sun, J. Zhang, X.
format	Article
author	Dong, J.S. Liu, Y. Sun, J. Zhang, X.
spellingShingle	Dong, J.S. Liu, Y. Sun, J. Zhang, X. Verification of computation Orchestration via timed automata
author_sort	Dong, J.S.
title	Verification of computation Orchestration via timed automata
title_short	Verification of computation Orchestration via timed automata
title_full	Verification of computation Orchestration via timed automata
title_fullStr	Verification of computation Orchestration via timed automata
title_full_unstemmed	Verification of computation Orchestration via timed automata
title_sort	verification of computation orchestration via timed automata
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/38954
_version_	1821224615837433856

Verification of computation Orchestration via timed automata

Similar Items