Thomas Ellman
Specification and Synthesis of Hybrid Automata for Physics-Based Animation
LOPSTR, 2003.
@inproceedings{LOPSTR-2003-Ellman, author = "Thomas Ellman", booktitle = "{Revised Selected Papers of the 13th International Symposium on Logic Based Program Synthesis and Transformation}", doi = "10.1007/978-3-540-25938-1_4", isbn = "3-540-22174-3", pages = "54--55", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Specification and Synthesis of Hybrid Automata for Physics-Based Animation}", volume = 3018, year = 2003, }