%0 Conference Paper %1 conf/apsec/DongWQQ01 %A Dong, Wei %A Wang, Ji %A Qi, Xuan %A Qi, Zhichang %B APSEC %D 2001 %I IEEE Computer Society %K dblp %P 363-370 %T Model Checking UML Statecharts. %U http://dblp.uni-trier.de/db/conf/apsec/apsec2001.html#DongWQQ01 %@ 0-7695-1408-1

@inproceedings{conf/apsec/DongWQQ01, added-at = {2023-03-23T00:00:00.000+0100}, author = {Dong, Wei and Wang, Ji and Qi, Xuan and Qi, Zhichang}, biburl = {https://www.bibsonomy.org/bibtex/28188a73c6d55cd16640f4d1f1a724a1b/dblp}, booktitle = {APSEC}, crossref = {conf/apsec/2001}, ee = {https://doi.ieeecomputersociety.org/10.1109/APSEC.2001.991503}, interhash = {fc8e86203633d9eb838af014d0ce0120}, intrahash = {8188a73c6d55cd16640f4d1f1a724a1b}, isbn = {0-7695-1408-1}, keywords = {dblp}, pages = {363-370}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T09:46:00.000+0200}, title = {Model Checking UML Statecharts.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec2001.html#DongWQQ01}, year = 2001 }