@article{FisherDW13,
	Author = {Michael Fisher and Louise A. Dennis and Matthew P. Webster},
	Biburl = {https://dblp.org/rec/bib/journals/cacm/FisherDW13},
	Date-Added = {2018-03-06 23:07:47 +0000},
	Date-Modified = {2018-03-06 23:07:47 +0000},
	Doi = {10.1145/2494558},
	Journal = {{Commun. {ACM}}},
	Number = {9},
	Pages = {84--93},
	Title = {{Verifying autonomous systems}},
	Url = {http://doi.acm.org/10.1145/2494558},
	Volume = {56},
	Year = {2013},
	Bdsk-Url-1 = {http://doi.acm.org/10.1145/2494558},
	Bdsk-Url-2 = {https://dx.doi.org/10.1145/2494558}}

{"_id":"HRM7wqKrMhyJRiJh8","bibbaseid":"fisher-dennis-webster-verifyingautonomoussystems-2013","downloads":0,"creationDate":"2016-05-26T11:21:07.804Z","title":"Verifying autonomous systems","author_short":["Fisher, M.","Dennis, L. A.","Webster, M. P."],"year":2013,"bibtype":"article","biburl":"http://www.dcs.gla.ac.uk/research/S4/publications_refs/S4_biblio.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]},{"firstnames":["Louise","A."],"propositions":[],"lastnames":["Dennis"],"suffixes":[]},{"firstnames":["Matthew","P."],"propositions":[],"lastnames":["Webster"],"suffixes":[]}],"biburl":"https://dblp.org/rec/bib/journals/cacm/FisherDW13","date-added":"2018-03-06 23:07:47 +0000","date-modified":"2018-03-06 23:07:47 +0000","doi":"10.1145/2494558","journal":"Commun. ACM","number":"9","pages":"84–93","title":"Verifying autonomous systems","url":"http://doi.acm.org/10.1145/2494558","volume":"56","year":"2013","bdsk-url-1":"http://doi.acm.org/10.1145/2494558","bdsk-url-2":"https://dx.doi.org/10.1145/2494558","bibtex":"@article{FisherDW13,\n\tAuthor = {Michael Fisher and Louise A. Dennis and Matthew P. Webster},\n\tBiburl = {https://dblp.org/rec/bib/journals/cacm/FisherDW13},\n\tDate-Added = {2018-03-06 23:07:47 +0000},\n\tDate-Modified = {2018-03-06 23:07:47 +0000},\n\tDoi = {10.1145/2494558},\n\tJournal = {{Commun. {ACM}}},\n\tNumber = {9},\n\tPages = {84--93},\n\tTitle = {{Verifying autonomous systems}},\n\tUrl = {http://doi.acm.org/10.1145/2494558},\n\tVolume = {56},\n\tYear = {2013},\n\tBdsk-Url-1 = {http://doi.acm.org/10.1145/2494558},\n\tBdsk-Url-2 = {https://dx.doi.org/10.1145/2494558}}\n\n","author_short":["Fisher, M.","Dennis, L. A.","Webster, M. P."],"key":"FisherDW13","id":"FisherDW13","bibbaseid":"fisher-dennis-webster-verifyingautonomoussystems-2013","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/2494558"},"downloads":0,"html":""},"search_terms":["verifying","autonomous","systems","fisher","dennis","webster"],"keywords":["system paper optimize zzz.sfit ai engineering acm secure v1205 embedded theory"],"authorIDs":[],"dataSources":["C6mN2QfPXvscax4oL"]}