%0 Conference Paper %1 conf/sefm/MengNB04 %A Meng, Sun %A Naixiao, Zhang %A Barbosa, Luís Soares %B SEFM %D 2004 %I IEEE Computer Society %K dblp %P 164-173 %T On Semantics and Refinement of UML Statecharts: A Coalgebraic View. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2004.html#MengNB04 %@ 0-7695-2222-X

@inproceedings{conf/sefm/MengNB04, added-at = {2023-03-24T00:00:00.000+0100}, author = {Meng, Sun and Naixiao, Zhang and Barbosa, Luís Soares}, biburl = {https://www.bibsonomy.org/bibtex/2735d753c967f3eadaf85b5c26174cd11/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2004}, ee = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.28}, interhash = {40c1a7a4bc5d42749a34222bf0cebb93}, intrahash = {735d753c967f3eadaf85b5c26174cd11}, isbn = {0-7695-2222-X}, keywords = {dblp}, pages = {164-173}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:21:22.000+0200}, title = {On Semantics and Refinement of UML Statecharts: A Coalgebraic View.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2004.html#MengNB04}, year = 2004 }