BibTeX record conf/IEEEcit/ZhanML04

download as .bib file

@inproceedings{DBLP:conf/IEEEcit/ZhanML04,
  author    = {Xuede Zhan and
               Huaikou Miao and
               Ling Liu},
  title     = {Formalizing the Semantics of {UML} Statecharts with Z*},
  booktitle = {2004 International Conference on Computer and Information Technology
               {(CIT} 2004), 14-16 September 2004, Wuhan, China},
  pages     = {1116--1121},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {https://doi.org/10.1109/CIT.2004.1357344},
  doi       = {10.1109/CIT.2004.1357344},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/IEEEcit/ZhanML04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics