Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}