Verification of Sampled-Data Systems using Coq. Ricketts, D. Ph.D. Thesis, eScholarship, University of California, 2017.
Paper bibtex @phdthesis{ricketts_verification_2017,
type = {{PhD} {Thesis}},
title = {Verification of {Sampled}-{Data} {Systems} using {Coq}},
url = {http://www.escholarship.org/uc/item/5n1899s2},
language = {English},
school = {eScholarship, University of California},
author = {Ricketts, Daniel},
year = {2017},
keywords = {Verification},
}
Downloads: 0
{"_id":"uQJBDfeKZkyrKKLqA","bibbaseid":"ricketts-verificationofsampleddatasystemsusingcoq-2017","author_short":["Ricketts, D."],"bibdata":{"bibtype":"phdthesis","type":"PhD Thesis","title":"Verification of Sampled-Data Systems using Coq","url":"http://www.escholarship.org/uc/item/5n1899s2","language":"English","school":"eScholarship, University of California","author":[{"propositions":[],"lastnames":["Ricketts"],"firstnames":["Daniel"],"suffixes":[]}],"year":"2017","keywords":"Verification","bibtex":"@phdthesis{ricketts_verification_2017,\n\ttype = {{PhD} {Thesis}},\n\ttitle = {Verification of {Sampled}-{Data} {Systems} using {Coq}},\n\turl = {http://www.escholarship.org/uc/item/5n1899s2},\n\tlanguage = {English},\n\tschool = {eScholarship, University of California},\n\tauthor = {Ricketts, Daniel},\n\tyear = {2017},\n\tkeywords = {Verification},\n}\n\n","author_short":["Ricketts, D."],"key":"ricketts_verification_2017","id":"ricketts_verification_2017","bibbaseid":"ricketts-verificationofsampleddatasystemsusingcoq-2017","role":"author","urls":{"Paper":"http://www.escholarship.org/uc/item/5n1899s2"},"keyword":["Verification"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"phdthesis","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["verification"],"search_terms":["verification","sampled","data","systems","using","coq","ricketts"],"title":"Verification of Sampled-Data Systems using Coq","year":2017}