%0 Thesis %1 phd/us/Pernsteiner18 %A Pernsteiner, Stuart %D 2018 %K dblp %T Practical Verification of Safety-Critical Systems.

@phdthesis{phd/us/Pernsteiner18, added-at = {2022-05-04T00:00:00.000+0200}, author = {Pernsteiner, Stuart}, biburl = {https://www.bibsonomy.org/bibtex/234c1a8f41b9b53b1d2c5563489d7ce31/dblp}, ee = {https://hdl.handle.net/1773/42263}, interhash = {f37a8499d5d5dbd370fc973cd747bf9d}, intrahash = {34c1a8f41b9b53b1d2c5563489d7ce31}, keywords = {dblp}, school = {University of Washington, USA}, timestamp = {2024-04-09T08:04:29.000+0200}, title = {Practical Verification of Safety-Critical Systems.}, year = 2018 }