| LICS Archive |
|---|
| All Conferences |
| Committees |
| Invited Speakers |
| Papers by Author |
| Test-of-Time Award Winners |
| Kleene Award Winners |
No Abstract Available
@InProceedings{Platzer-TheCompleteProofThe,
author = {André Platzer},
title = {The Complete Proof Theory of Hybrid Systems},
booktitle = {Proceedings of the Twenty-Seventh Annual IEEE Symposium on Logic in Computer Science (LICS 2012)},
year = {2012},
month = {June},
pages = {541--550},
location = {Dubrovnik, Croatia},
publisher = {IEEE Computer Society Press}
}