%0 Conference Paper %1 truong_05_verification %A Truong, Ninh T. %A Souqui`eres, 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 uml %P 1546--1552 %R 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-02-11T21:04:10.000+0100}, address = {New York, NY, USA}, author = {Truong, Ninh T. and Souqui`{e}res, Jeanine}, biburl = {https://www.bibsonomy.org/bibtex/261688d284d0a7752da9a6a5c12136627/leonardo}, booktitle = {SAC '05: Proceedings of the 2005 ACM symposium on Applied computing}, citeulike-article-id = {867750}, doi = {10.1145/1066677.1067024}, interhash = {f1309d2ff58e48d850b66c43b5754c4c}, intrahash = {61688d284d0a7752da9a6a5c12136627}, isbn = {1581139640}, keywords = {b 2005 verification uml}, pages = {1546--1552}, posted-at = {2006-09-25 14:14:15}, priority = {4}, publisher = {ACM Press}, timestamp = {2009-02-11T21:04:10.000+0100}, title = {Verification of behavioural elements of UML models using B}, url = {http://dx.doi.org/10.1145/1066677.1067024}, year = 2005 }