The semantics and tool support of OZTA

The semantics and tool support of OZTA

10.1007/11576280_6

Saved in:
Bibliographic Details
Main Authors: Dong, J.S., Hao, P., Qin, S., Zhang, X.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2013
Subjects:
Semantics
Timed Patterns
Tool and Verification
Online Access:http://scholarbank.nus.edu.sg/handle/10635/40066
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-40066
record_format dspace
spelling sg-nus-scholar.10635-400662015-01-21T18:10:32Z The semantics and tool support of OZTA Dong, J.S. Hao, P. Qin, S. Zhang, X. COMPUTER SCIENCE Semantics Timed Patterns Tool and Verification 10.1007/11576280_6 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3785 LNCS 66-80 2013-07-04T07:55:53Z 2013-07-04T07:55:53Z 2005 Conference Paper Dong, J.S.,Hao, P.,Qin, S.,Zhang, X. (2005). The semantics and tool support of OZTA. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3785 LNCS : 66-80. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/11576280_6" target="_blank">https://doi.org/10.1007/11576280_6</a> 3540297979 03029743 http://scholarbank.nus.edu.sg/handle/10635/40066 NOT_IN_WOS Scopus
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
topic Semantics
Timed Patterns
Tool and Verification
spellingShingle Semantics
Timed Patterns
Tool and Verification
Dong, J.S.
Hao, P.
Qin, S.
Zhang, X.
The semantics and tool support of OZTA
description 10.1007/11576280_6
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Dong, J.S.
Hao, P.
Qin, S.
Zhang, X.
format Conference or Workshop Item
author Dong, J.S.
Hao, P.
Qin, S.
Zhang, X.
author_sort Dong, J.S.
title The semantics and tool support of OZTA
title_short The semantics and tool support of OZTA
title_full The semantics and tool support of OZTA
title_fullStr The semantics and tool support of OZTA
title_full_unstemmed The semantics and tool support of OZTA
title_sort semantics and tool support of ozta
publishDate 2013
url http://scholarbank.nus.edu.sg/handle/10635/40066
_version_ 1681082203964964864

Similar Items