%0 Conference Paper %1 truong_05_verification %A Truong, Ninh T. %A Souquières, Jeanine %B SAC '05: Proceedings of the 2005 ACM symposium on Applied computing %C New York, NY, USA %D 2005 %I ACM Press %K b 2005 verification \_pdf uml %P 1546--1552 %R http://dx.doi.org/10.1145/1066677.1067024 %T Verification of behavioural elements of UML models using B %U http://dx.doi.org/10.1145/1066677.1067024 %@ 1581139640

@inproceedings{truong_05_verification, added-at = {2009-03-10T04:52:37.000+0100}, address = {New York, NY, USA}, author = {Truong, Ninh T. and Souqui\`{e}res, Jeanine}, biburl = {https://www.bibsonomy.org/bibtex/2e30df49993873b8b49caa15b36680149/leonardo}, booktitle = {SAC '05: Proceedings of the 2005 ACM symposium on Applied computing}, citeulike-article-id = {867750}, doi = {http://dx.doi.org/10.1145/1066677.1067024}, interhash = {1b5e67e75348a5ba0d030175f51e5860}, intrahash = {e30df49993873b8b49caa15b36680149}, isbn = {1581139640}, keywords = {b 2005 verification \_pdf uml}, pages = {1546--1552}, posted-at = {2006-09-25 14:14:15}, priority = {4}, publisher = {ACM Press}, timestamp = {2009-03-10T04:52:37.000+0100}, title = {Verification of behavioural elements of UML models using B}, url = {http://dx.doi.org/10.1145/1066677.1067024}, year = 2005 }