%0 Conference Paper %1 conf/apsec/YeungLWD05 %A Yeung, Wing Lok %A Leung, Karl R. P. H. %A Wang, Ji %A Dong, Wei %B APSEC %D 2005 %I IEEE Computer Society %K dblp %P 176-184 %T Improvements Towards Formalizing UML State Diagrams in CSP. %U http://dblp.uni-trier.de/db/conf/apsec/apsec2005.html#YeungLWD05 %@ 0-7695-2465-6

@inproceedings{conf/apsec/YeungLWD05, added-at = {2023-03-23T00:00:00.000+0100}, author = {Yeung, Wing Lok and Leung, Karl R. P. H. and Wang, Ji and Dong, Wei}, biburl = {https://www.bibsonomy.org/bibtex/297b8df032d41b1d006a77a35f20a6c6b/dblp}, booktitle = {APSEC}, crossref = {conf/apsec/2005}, ee = {https://doi.ieeecomputersociety.org/10.1109/APSEC.2005.70}, interhash = {1a655c0d09fedbc6b59c68ca844803f9}, intrahash = {97b8df032d41b1d006a77a35f20a6c6b}, isbn = {0-7695-2465-6}, keywords = {dblp}, pages = {176-184}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T09:46:47.000+0200}, title = {Improvements Towards Formalizing UML State Diagrams in CSP.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec2005.html#YeungLWD05}, year = 2005 }