@techreport{
 title = {Toward Automatic Verification of Goal-Oriented Flow Simulations},
 type = {techreport},
 year = {2014},
 websites = {https://ntrs.nasa.gov/citations/20150000864},
 institution = {NASA},
 revision = {NASA/TM–2014–218386},
 id = {e55c8438-b566-3fbb-9c74-98ebec842f2d},
 created = {2021-02-25T05:16:54.724Z},
 accessed = {2021-02-24},
 file_attached = {true},
 profile_id = {6476e386-2170-33cc-8f65-4c12ee0052f0},
 group_id = {5a9f751c-3662-3c8e-b55d-a8b85890ce20},
 last_modified = {2021-02-25T05:17:01.214Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {false},
 hidden = {false},
 citation_key = {cart3d},
 private_publication = {false},
 bibtype = {techreport},
 author = {Nemec, Marian and Aftosmis, Michael J}
}

{"_id":"bLdnfM9FjRMcEoHus","bibbaseid":"nemec-aftosmis-towardautomaticverificationofgoalorientedflowsimulations-2014","author_short":["Nemec, M.","Aftosmis, M., J."],"bibdata":{"title":"Toward Automatic Verification of Goal-Oriented Flow Simulations","type":"techreport","year":"2014","websites":"https://ntrs.nasa.gov/citations/20150000864","institution":"NASA","revision":"NASA/TM–2014–218386","id":"e55c8438-b566-3fbb-9c74-98ebec842f2d","created":"2021-02-25T05:16:54.724Z","accessed":"2021-02-24","file_attached":"true","profile_id":"6476e386-2170-33cc-8f65-4c12ee0052f0","group_id":"5a9f751c-3662-3c8e-b55d-a8b85890ce20","last_modified":"2021-02-25T05:17:01.214Z","read":false,"starred":false,"authored":false,"confirmed":false,"hidden":false,"citation_key":"cart3d","private_publication":false,"bibtype":"techreport","author":"Nemec, Marian and Aftosmis, Michael J","bibtex":"@techreport{\n title = {Toward Automatic Verification of Goal-Oriented Flow Simulations},\n type = {techreport},\n year = {2014},\n websites = {https://ntrs.nasa.gov/citations/20150000864},\n institution = {NASA},\n revision = {NASA/TM–2014–218386},\n id = {e55c8438-b566-3fbb-9c74-98ebec842f2d},\n created = {2021-02-25T05:16:54.724Z},\n accessed = {2021-02-24},\n file_attached = {true},\n profile_id = {6476e386-2170-33cc-8f65-4c12ee0052f0},\n group_id = {5a9f751c-3662-3c8e-b55d-a8b85890ce20},\n last_modified = {2021-02-25T05:17:01.214Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {false},\n hidden = {false},\n citation_key = {cart3d},\n private_publication = {false},\n bibtype = {techreport},\n author = {Nemec, Marian and Aftosmis, Michael J}\n}","author_short":["Nemec, M.","Aftosmis, M., J."],"urls":{"Paper":"https://bibbase.org/service/mendeley/6476e386-2170-33cc-8f65-4c12ee0052f0/file/4232fe4f-3273-7ef7-118c-85993fd89b80/Nemec_Aftosmis___Unknown___Toward_Automatic_Verification_of_Goal_Oriented_Flow_Simulations.pdf.pdf","Website":"https://ntrs.nasa.gov/citations/20150000864"},"biburl":"https://bibbase.org/service/mendeley/6476e386-2170-33cc-8f65-4c12ee0052f0","bibbaseid":"nemec-aftosmis-towardautomaticverificationofgoalorientedflowsimulations-2014","role":"author","metadata":{"authorlinks":{}}},"bibtype":"techreport","biburl":"https://bibbase.org/service/mendeley/6476e386-2170-33cc-8f65-4c12ee0052f0","dataSources":["qwkM8ZucCwtxbnXfc","ya2CyA73rpZseyrZ8","2252seNhipfTmjEBQ"],"keywords":[],"search_terms":["toward","automatic","verification","goal","oriented","flow","simulations","nemec","aftosmis"],"title":"Toward Automatic Verification of Goal-Oriented Flow Simulations","year":2014}