%0 Conference Paper %1 conf/sdl/Ammar-BoudjelalLL97 %A Ammar-Boudjelal, Farid %A Lafaye, Jean-Yves %A Louis, Georges %B SDL Forum %D 1997 %E Cavalli, Ana R. %E Sarma, Amardeo %I Elsevier %K dblp %P 491-506 %T Specifying the steam-boiler case study with SDL. %U http://dblp.uni-trier.de/db/conf/sdl/sdl1997.html#Ammar-BoudjelalLL97

@inproceedings{conf/sdl/Ammar-BoudjelalLL97, added-at = {2013-10-30T00:00:00.000+0100}, author = {Ammar-Boudjelal, Farid and Lafaye, Jean-Yves and Louis, Georges}, biburl = {https://www.bibsonomy.org/bibtex/2d33ddb240db29a10bf5999a5f8f32d59/dblp}, booktitle = {SDL Forum}, crossref = {conf/sdl/1997}, editor = {Cavalli, Ana R. and Sarma, Amardeo}, interhash = {0f261fe1e1e280ff87b5d34e3dfd8641}, intrahash = {d33ddb240db29a10bf5999a5f8f32d59}, keywords = {dblp}, pages = {491-506}, publisher = {Elsevier}, timestamp = {2013-10-31T11:34:49.000+0100}, title = {Specifying the steam-boiler case study with SDL.}, url = {http://dblp.uni-trier.de/db/conf/sdl/sdl1997.html#Ammar-BoudjelalLL97}, year = 1997 }