%0 Conference Paper %1 conf/cmsb/NigamDKMT15 %A Nigam, Vivek %A Donaldson, Robin %A Knapp, Merrill %A McCarthy, Tim %A Talcott, Carolyn L. %B CMSB %D 2015 %E Roux, Olivier F. %E Bourdon, Jérémie %I Springer %K dblp %P 90-103 %T Inferring Executable Models from Formalized Experimental Evidence. %U http://dblp.uni-trier.de/db/conf/cmsb/cmsb2015.html#NigamDKMT15 %V 9308 %@ 978-3-319-23400-7

@inproceedings{conf/cmsb/NigamDKMT15, added-at = {2017-05-24T00:00:00.000+0200}, author = {Nigam, Vivek and Donaldson, Robin and Knapp, Merrill and McCarthy, Tim and Talcott, Carolyn L.}, biburl = {https://www.bibsonomy.org/bibtex/228e8cca2099b3d2bdb3c4c6f1d73463b/dblp}, booktitle = {CMSB}, crossref = {conf/cmsb/2015}, editor = {Roux, Olivier F. and Bourdon, Jérémie}, ee = {https://doi.org/10.1007/978-3-319-23401-4_9}, interhash = {6c67050a673815d87ea46b4a1eb0856a}, intrahash = {28e8cca2099b3d2bdb3c4c6f1d73463b}, isbn = {978-3-319-23400-7}, keywords = {dblp}, pages = {90-103}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:44:00.000+0200}, title = {Inferring Executable Models from Formalized Experimental Evidence.}, url = {http://dblp.uni-trier.de/db/conf/cmsb/cmsb2015.html#NigamDKMT15}, volume = 9308, year = 2015 }