%0 Conference Paper %1 conf/sefm/NgB03 %A Ng, Muan Yong %A Butler, Michael J. %B SEFM %D 2003 %I IEEE Computer Society %K dblp %P 138- %T Towards Formalizing UML State Diagrams in CSP. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2003.html#NgB03 %@ 0-7695-1949-0

@inproceedings{conf/sefm/NgB03, added-at = {2023-03-24T00:00:00.000+0100}, author = {Ng, Muan Yong and Butler, Michael J.}, biburl = {https://www.bibsonomy.org/bibtex/2da9bbf453cf5d56a25ae5cf7451bd560/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2003}, ee = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2003.1236215}, interhash = {fcf4908468fda03cf4cedc7885c4bb4e}, intrahash = {da9bbf453cf5d56a25ae5cf7451bd560}, isbn = {0-7695-1949-0}, keywords = {dblp}, pages = {138-}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:21:24.000+0200}, title = {Towards Formalizing UML State Diagrams in CSP.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2003.html#NgB03}, year = 2003 }