%0 Journal Article %1 journals/jise/TruongS06 %A Truong, Ninh-Thuan %A Souquières, Jeanine %D 2006 %J J. Inf. Sci. Eng. %K %N 2 %P 357-373 %T Verification of UML Model Elements Using B. %U http://dblp.uni-trier.de/db/journals/jise/jise22.html#TruongS06 %V 22

@article{journals/jise/TruongS06, added-at = {2023-12-14T14:40:27.000+0100}, author = {Truong, Ninh-Thuan and Souquières, Jeanine}, biburl = {https://www.bibsonomy.org/bibtex/20049074d5289059d694804fd5ea5908c/admin}, date = {2007-10-24}, ee = {http://www.iis.sinica.edu.tw/page/jise/2006/200603_08.html}, interhash = {e1f8d96a8461bd469df6e313ef45c8af}, intrahash = {0049074d5289059d694804fd5ea5908c}, journal = {J. Inf. Sci. Eng.}, keywords = {}, number = 2, pages = {357-373}, timestamp = {2023-12-14T14:40:27.000+0100}, title = {Verification of UML Model Elements Using B.}, url = {http://dblp.uni-trier.de/db/journals/jise/jise22.html#TruongS06}, volume = 22, year = 2006 }