%0 Conference Paper %1 conf/icfem/AldrichFFHKLS04 %A Aldrich, Bill %A Fehnker, Ansgar %A Feiler, Peter H. %A Han, Zhi %A Krogh, Bruce H. %A Lim, Eric %A Sivashankar, Shiva %B ICFEM %D 2004 %E Davies, Jim %E Schulte, Wolfram %E Barnett, Michael %I Springer %K dblp %P 61-75 %T Managing Verification Activities Using SVM. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2004.html#AldrichFFHKLS04 %V 3308 %@ 3-540-23841-7

@inproceedings{conf/icfem/AldrichFFHKLS04, added-at = {2022-01-03T00:00:00.000+0100}, author = {Aldrich, Bill and Fehnker, Ansgar and Feiler, Peter H. and Han, Zhi and Krogh, Bruce H. and Lim, Eric and Sivashankar, Shiva}, biburl = {https://www.bibsonomy.org/bibtex/2a991cc0a9debb15d52159eed920eb359/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2004}, editor = {Davies, Jim and Schulte, Wolfram and Barnett, Michael}, ee = {https://doi.org/10.1007/978-3-540-30482-1_13}, interhash = {6c3d9aac752d4fd3bfb195971a78aa39}, intrahash = {a991cc0a9debb15d52159eed920eb359}, isbn = {3-540-23841-7}, keywords = {dblp}, pages = {61-75}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T18:16:37.000+0200}, title = {Managing Verification Activities Using SVM.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2004.html#AldrichFFHKLS04}, volume = 3308, year = 2004 }