%0 Conference Paper %1 conf/valuetools/BuddeDM16 %A Budde, Carlos E. %A D'Argenio, Pedro R. %A Monti, Raúl E. %B VALUETOOLS %D 2016 %E Puliafito, Antonio %E Trivedi, Kishor S. %E Tuffin, Bruno %E Scarpa, Marco %E Machida, Fumio %E Alonso, Javier %I ACM %K dblp %T Compositional Construction of Importance Functions in Fully Automated Importance Splitting. %U http://dblp.uni-trier.de/db/conf/valuetools/valuetools2016.html#BuddeDM16 %@ 978-1-63190-141-6

@inproceedings{conf/valuetools/BuddeDM16, added-at = {2020-05-18T00:00:00.000+0200}, author = {Budde, Carlos E. and D'Argenio, Pedro R. and Monti, Raúl E.}, biburl = {https://www.bibsonomy.org/bibtex/26bf9f0be5d33a94f559b9bf1d97e8675/dblp}, booktitle = {VALUETOOLS}, crossref = {conf/valuetools/2016}, editor = {Puliafito, Antonio and Trivedi, Kishor S. and Tuffin, Bruno and Scarpa, Marco and Machida, Fumio and Alonso, Javier}, ee = {https://doi.org/10.4108/eai.25-10-2016.2266501}, interhash = {5760e63984001f1a84c16ba74445f72a}, intrahash = {6bf9f0be5d33a94f559b9bf1d97e8675}, isbn = {978-1-63190-141-6}, keywords = {dblp}, publisher = {ACM}, timestamp = {2024-04-09T17:01:41.000+0200}, title = {Compositional Construction of Importance Functions in Fully Automated Importance Splitting.}, url = {http://dblp.uni-trier.de/db/conf/valuetools/valuetools2016.html#BuddeDM16}, year = 2016 }