@TECHREPORT{DBLP_conf_lics_Platzer12b_TR,
    ref = {DBLP:conf/lics/Platzer12b},
    author = {Andr{\'e} Platzer},
    title = {The Complete Proof Theory of Hybrid Systems},
    number = {CMU-CS-11-144},
    year = {2011},
    month = {November},
    institution = {School of Computer Science,
               Carnegie Mellon University},
    address = {Pittsburgh, PA},
    pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2011/CMU-CS-11-144.pdf},
    date-added = {2026-3-24 6:21:40 +0100}
}

@TECHREPORT{DBLP_conf_lics_Platzer12b_TR, ref = {DBLP:conf/lics/Platzer12b}, author = {Andr{\'e} Platzer}, title = {The Complete Proof Theory of Hybrid Systems}, number = {CMU-CS-11-144}, year = {2011}, month = {November}, institution = {School of Computer Science, Carnegie Mellon University}, address = {Pittsburgh, PA}, pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2011/CMU-CS-11-144.pdf}, date-added = {2026-3-24 6:21:40 +0100} }