%0 Conference Paper %1 conf/step/AugustoHGFGL03 %A Augusto, Juan Carlos %A Howard, Yvonne %A Gravell, Andrew M. %A Ferreira, Carla %A Gruner, Stefan %A Leuschel, Michael %B STEP %D 2003 %I IEEE Computer Society %K %P 225-233 %T Model-Based Approaches for Validating Business Critical Systems. %U http://dblp.uni-trier.de/db/conf/step/step2003.html#AugustoHGFGL03 %@ 0-7695-2218-1

@inproceedings{conf/step/AugustoHGFGL03, added-at = {2023-12-13T10:46:32.000+0100}, author = {Augusto, Juan Carlos and Howard, Yvonne and Gravell, Andrew M. and Ferreira, Carla and Gruner, Stefan and Leuschel, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2b83b4824432a2e69809d63e4327f157b/admin}, booktitle = {STEP}, crossref = {conf/step/2003}, ee = {http://doi.ieeecomputersociety.org/10.1109/STEP.2003.19}, interhash = {dac2954436824600ffb037faed96dfef}, intrahash = {b83b4824432a2e69809d63e4327f157b}, isbn = {0-7695-2218-1}, keywords = {}, pages = {225-233}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T10:46:32.000+0100}, title = {Model-Based Approaches for Validating Business Critical Systems.}, url = {http://dblp.uni-trier.de/db/conf/step/step2003.html#AugustoHGFGL03}, year = 2003 }