%0 Conference Paper
%1 Henzinger/96/Theory
%A Henzinger, Thomas A.
%B Logic In Computer Science (LICS 1996)
%D 1996
%I IEEE Computer Society Press
%K imported
%P 278--292
%T The theory of hybrid automata
@inproceedings{Henzinger/96/Theory,
added-at = {2009-05-20T01:29:36.000+0200},
author = {Henzinger, Thomas A.},
biburl = {https://www.bibsonomy.org/bibtex/2be7d5400173be27bf9effa0b14382e24/sriram0339},
booktitle = {Logic In Computer Science (LICS 1996)},
description = {First cut database},
interhash = {c67eb05789bc927b69c75587feaa4407},
intrahash = {be7d5400173be27bf9effa0b14382e24},
keywords = {imported},
pages = {278--292},
publisher = {IEEE Computer Society Press},
timestamp = {2009-05-20T01:29:37.000+0200},
title = {The theory of hybrid automata},
year = 1996
}