Meta data
- BibTeX key
- conf/internetware/HuangSLPZ12
- entry type
- inproceedings
- booktitle
- Internetware
- year
- 2012
- pages
- 9:1-9:7
- publisher
- ACM
- crossref
- conf/internetware/2012
- ee
- https://doi.org/10.1145/2430475.2430484
- isbn
- 978-1-4503-1888-4
- url
- http://dblp.uni-trier.de/db/conf/internetware/internetware2012.html#HuangSLPZ12
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/internetware/HuangSLPZ12
%A Huang, Xiaopu
%A Sun, Qingqing
%A Li, Jiangwei
%A Pan, Minxue
%A Zhang, Tian
%B Internetware
%D 2012
%E Mei, Hong
%E Lv, Jian
%E Wang, Qianxiang
%E Liu, Lin
%I ACM
%K dblp
%P 9:1-9:7
%T An MDE-based approach to the verification of SysML state machine diagram.
%U http://dblp.uni-trier.de/db/conf/internetware/internetware2012.html#HuangSLPZ12
%@ 978-1-4503-1888-4
@inproceedings{conf/internetware/HuangSLPZ12,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Huang, Xiaopu and Sun, Qingqing and Li, Jiangwei and Pan, Minxue and Zhang, Tian},
biburl = {https://www.bibsonomy.org/bibtex/2ef7d99378c8621f77de90b754e45c403/dblp},
booktitle = {Internetware},
crossref = {conf/internetware/2012},
editor = {Mei, Hong and Lv, Jian and Wang, Qianxiang and Liu, Lin},
ee = {https://doi.org/10.1145/2430475.2430484},
interhash = {2e9e0819182fd9a2309497febc56ecf3},
intrahash = {ef7d99378c8621f77de90b754e45c403},
isbn = {978-1-4503-1888-4},
keywords = {dblp},
pages = {9:1-9:7},
publisher = {ACM},
timestamp = {2024-04-09T17:23:35.000+0200},
title = {An MDE-based approach to the verification of SysML state machine diagram.},
url = {http://dblp.uni-trier.de/db/conf/internetware/internetware2012.html#HuangSLPZ12},
year = 2012
}