%0 Conference Paper %1 conf/iscsct/XuPLL08 %A Xu, Dong %A Philbert, Nduwimfura %A Liu, Zongtian %A Liu, Wei %B ISCSCT (2) %D 2008 %I IEEE Computer Society %K dblp %P 450-453 %T Towards Formalizing UML Activity Diagrams in CSP. %U http://dblp.uni-trier.de/db/conf/iscsct/iscsct2008-2.html#XuPLL08 %@ 978-0-7695-3498-5

@inproceedings{conf/iscsct/XuPLL08, added-at = {2023-03-23T00:00:00.000+0100}, author = {Xu, Dong and Philbert, Nduwimfura and Liu, Zongtian and Liu, Wei}, biburl = {https://www.bibsonomy.org/bibtex/278b66e02f0083c8b3cc66b08db28dbb0/dblp}, booktitle = {ISCSCT (2)}, crossref = {conf/iscsct/2008}, ee = {https://doi.ieeecomputersociety.org/10.1109/ISCSCT.2008.379}, interhash = {8eeb63ed72fa045e0e5e1efefcad397c}, intrahash = {78b66e02f0083c8b3cc66b08db28dbb0}, isbn = {978-0-7695-3498-5}, keywords = {dblp}, pages = {450-453}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:25:53.000+0200}, title = {Towards Formalizing UML Activity Diagrams in CSP.}, url = {http://dblp.uni-trier.de/db/conf/iscsct/iscsct2008-2.html#XuPLL08}, year = 2008 }