%0 Conference Paper %1 conf/gi/LedangS01 %A Ledang, Hung %A Souquières, Jeanine %B GI Jahrestagung (1) %D 2001 %E Bauknecht, Kurt %E Brauer, Wilfried %E Mück, Thomas A. %I Konstanz UVK-Verl.-Ges. %K dblp %P 641-648 %T Integrating UML and B Specification Techniques. %U http://dblp.uni-trier.de/db/conf/gi/gi2001-1.html#LedangS01 %V 157

@inproceedings{conf/gi/LedangS01, added-at = {2019-07-31T00:00:00.000+0200}, author = {Ledang, Hung and Souquières, Jeanine}, biburl = {https://www.bibsonomy.org/bibtex/2fac0b4c3d09e0239265304607ae84736/dblp}, booktitle = {GI Jahrestagung (1)}, crossref = {conf/gi/2001-1}, editor = {Bauknecht, Kurt and Brauer, Wilfried and Mück, Thomas A.}, interhash = {d33886559638a5b197091ba36f0fe154}, intrahash = {fac0b4c3d09e0239265304607ae84736}, keywords = {dblp}, pages = {641-648}, publisher = {Konstanz UVK-Verl.-Ges.}, series = {Schriftenreihe der Österreichischen Computer-Gesellschaft}, timestamp = {2020-07-24T01:05:25.000+0200}, title = {Integrating UML and B Specification Techniques.}, url = {http://dblp.uni-trier.de/db/conf/gi/gi2001-1.html#LedangS01}, volume = 157, year = 2001 }