%0 Conference Paper %1 conf/grc/PengD12 %A Peng, Tu %A Ding, Gangyi %B GrC %D 2012 %E Lin, Tsau Young %E Hu, Xiaohua %E Wu, Zhaohui %E Chen, Arbee L. P. %E Broder, Andrei Z. %E Ho, Howard %E Wang, Shuliang %I IEEE Computer Society %K dblp %P 370-375 %T Formal specification and automated verification of UML2.0 sequence diagrams. %U http://dblp.uni-trier.de/db/conf/grc/grc2012.html#PengD12 %@ 978-1-4673-2310-9

@inproceedings{conf/grc/PengD12, added-at = {2023-03-24T00:00:00.000+0100}, author = {Peng, Tu and Ding, Gangyi}, biburl = {https://www.bibsonomy.org/bibtex/2603a9d993c68f9526940e2776282f4d6/dblp}, booktitle = {GrC}, crossref = {conf/grc/2012}, editor = {Lin, Tsau Young and Hu, Xiaohua and Wu, Zhaohui and Chen, Arbee L. P. and Broder, Andrei Z. and Ho, Howard and Wang, Shuliang}, ee = {https://doi.ieeecomputersociety.org/10.1109/GrC.2012.6468641}, interhash = {e4dc7a5df6162e0d9a099b7e82e3ae5f}, intrahash = {603a9d993c68f9526940e2776282f4d6}, isbn = {978-1-4673-2310-9}, keywords = {dblp}, pages = {370-375}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T02:47:45.000+0200}, title = {Formal specification and automated verification of UML2.0 sequence diagrams.}, url = {http://dblp.uni-trier.de/db/conf/grc/grc2012.html#PengD12}, year = 2012 }