%0 Conference Paper %1 conf/sdl/BochmannPBM97 %A von Bochmann, Gregor %A Petrenko, Alexandre %A Bellal, O. %A Maguiraga, S. %B SDL Forum %D 1997 %E Cavalli, Ana R. %E Sarma, Amardeo %I Elsevier %K dblp %P 261-276 %T Automating the process of test derivation from SDL specifications. %U http://dblp.uni-trier.de/db/conf/sdl/sdl1997.html#BochmannPBM97

@inproceedings{conf/sdl/BochmannPBM97, added-at = {2003-10-16T00:00:00.000+0200}, author = {von Bochmann, Gregor and Petrenko, Alexandre and Bellal, O. and Maguiraga, S.}, biburl = {https://www.bibsonomy.org/bibtex/2ee6f8429dade376336b79ab9aa6f552f/dblp}, booktitle = {SDL Forum}, crossref = {conf/sdl/1997}, date = {2003-10-16}, description = {dblp}, editor = {Cavalli, Ana R. and Sarma, Amardeo}, interhash = {369bb8b9e75ca3272634de50c8f21a93}, intrahash = {ee6f8429dade376336b79ab9aa6f552f}, keywords = {dblp}, pages = {261-276}, publisher = {Elsevier}, timestamp = {2003-10-16T00:00:00.000+0200}, title = {Automating the process of test derivation from SDL specifications.}, url = {http://dblp.uni-trier.de/db/conf/sdl/sdl1997.html#BochmannPBM97}, year = 1997 }