%0 Conference Paper %1 conf/ifm/LedangS02 %A Ledang, Hung %A Souquières, Jeanine %B IFM %D 2002 %E Butler, Michael J. %E Petre, Luigia %E Sere, Kaisa %I Springer %K dblp %P 109-127 %T Contributions for Modelling UML State-Charts in B. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2002.html#LedangS02 %V 2335 %@ 3-540-43703-7

@inproceedings{conf/ifm/LedangS02, added-at = {2017-05-24T00:00:00.000+0200}, author = {Ledang, Hung and Souquières, Jeanine}, biburl = {https://www.bibsonomy.org/bibtex/262cbdbd664063791ab0422b8e7df01b8/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2002}, editor = {Butler, Michael J. and Petre, Luigia and Sere, Kaisa}, ee = {https://doi.org/10.1007/3-540-47884-1_7}, interhash = {5f5816f3cfc6f9200562e66377a4e15d}, intrahash = {62cbdbd664063791ab0422b8e7df01b8}, isbn = {3-540-43703-7}, keywords = {dblp}, pages = {109-127}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:51:23.000+0200}, title = {Contributions for Modelling UML State-Charts in B.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2002.html#LedangS02}, volume = 2335, year = 2002 }