%0 Thesis %1 phd/us/Sun13b %A Sun, Mu %D 2013 %K dblp %T Formal patterns for medical device safety

@phdthesis{phd/us/Sun13b, added-at = {2023-10-13T00:00:00.000+0200}, author = {Sun, Mu}, biburl = {https://www.bibsonomy.org/bibtex/2a9f9042bf8934d39c20429b8e4e2ed43/dblp}, ee = {https://hdl.handle.net/2142/46661}, interhash = {c13a1e886b356d655e724e2cfe6bc834}, intrahash = {a9f9042bf8934d39c20429b8e4e2ed43}, keywords = {dblp}, school = {University of Illinois Urbana-Champaign, USA}, timestamp = {2024-04-09T08:03:46.000+0200}, title = {Formal patterns for medical device safety}, year = 2013 }