Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}