<?xml version="1.0" encoding="US-ASCII"?>
<dblp>
<inproceedings key="conf/IEEEcit/ZhanML04" mdate="2023-03-24">
<author>Xuede Zhan</author>
<author>Huaikou Miao</author>
<author>Ling Liu</author>
<title>Formalizing the Semantics of UML Statecharts with Z*.</title>
<pages>1116-1121</pages>
<year>2004</year>
<crossref>conf/IEEEcit/2004</crossref>
<booktitle>CIT</booktitle>
<ee>https://doi.org/10.1109/CIT.2004.1357344</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/CIT.2004.1357344</ee>
<url>db/conf/IEEEcit/IEEEcit2004.html#ZhanML04</url>
</inproceedings></dblp>
