%0 Conference Paper %1 conf/fmics/LadenbergerBL09 %A Ladenberger, Lukas %A Bendisposto, Jens %A Leuschel, Michael %B FMICS %D 2009 %E Alpuente, María %E Cook, Byron %E Joubert, Christophe %I Springer %K dblp %P 202-204 %T Visualising Event-B Models with B-Motion Studio. %U http://dblp.uni-trier.de/db/conf/fmics/fmics2009.html#LadenbergerBL09 %V 5825 %@ 978-3-642-04569-1

@inproceedings{conf/fmics/LadenbergerBL09, added-at = {2017-05-21T00:00:00.000+0200}, author = {Ladenberger, Lukas and Bendisposto, Jens and Leuschel, Michael}, biburl = {https://www.bibsonomy.org/bibtex/27979b6f74b8823635f91f6be9463fe20/dblp}, booktitle = {FMICS}, crossref = {conf/fmics/2009}, editor = {Alpuente, María and Cook, Byron and Joubert, Christophe}, ee = {https://doi.org/10.1007/978-3-642-04570-7_17}, interhash = {dbe4f48237030248764b01a569aa61d9}, intrahash = {7979b6f74b8823635f91f6be9463fe20}, isbn = {978-3-642-04569-1}, keywords = {dblp}, pages = {202-204}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:56:14.000+0200}, title = {Visualising Event-B Models with B-Motion Studio.}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2009.html#LadenbergerBL09}, volume = 5825, year = 2009 }