%0 Conference Paper %1 conf/visapp/ChenZZ15 %A Chen, Lina %A Zhang, Yu %A Zhao, Jianmin %B VISAPP (1) %D 2015 %E Braz, José %E Battiato, Sebastiano %E Imai, Francisco H. %I SciTePress %K dblp %P 23-29 %T Verification Approach of Statechart Models based on Property Statechart. %U http://dblp.uni-trier.de/db/conf/visapp/visapp2015-1.html#ChenZZ15 %@ 978-989-758-089-5

@inproceedings{conf/visapp/ChenZZ15, added-at = {2015-08-07T00:00:00.000+0200}, author = {Chen, Lina and Zhang, Yu and Zhao, Jianmin}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/275d46cc663716a9f7ca5b2a0d2741f3b/dblp}, booktitle = {VISAPP (1)}, crossref = {conf/visapp/2015-1}, editor = {Braz, José and Battiato, Sebastiano and Imai, Francisco H.}, interhash = {0ecb8af12227a0db51aac569786e2beb}, intrahash = {75d46cc663716a9f7ca5b2a0d2741f3b}, isbn = {978-989-758-089-5}, keywords = {dblp}, pages = {23-29}, publisher = {SciTePress}, timestamp = {2016-02-02T14:02:13.000+0100}, title = {Verification Approach of Statechart Models based on Property Statechart.}, url = {http://dblp.uni-trier.de/db/conf/visapp/visapp2015-1.html#ChenZZ15}, year = 2015 }