Bellerophon: Tactical theorem proving for hybrid systems

@inproceedings{DBLP:conf/itp/FultonMBP17,
	pdf = {pub/bellerophon.pdf},
	slides = {pub/bellerophon-slides.pdf},
	author = {['Nathan Fulton', 'Stefan Mitsch', 'Brandon Bohrer', 'André Platzer']},
	title = {Bellerophon: Tactical Theorem Proving
               for Hybrid Systems},
	booktitle = {ITP},
	longbooktitle = {Interactive Theorem Proving,
               International Conference, ITP 2017},
	year = {2017},
	pages = {207-224},
	month = {},
	doi = {10.1007/978-3-319-66107-0_14},
	editor = {['Mauricio Ayala-Rincón', 'César A. Muñoz']},
	publisher = {Springer},
	series = {LNCS},
	volume = {10499},
	isbn = {978-3-319-66106-3}
}