Gerardo Lafferriere, Christopher L. Miller. Uniform Reachability Algorithms. In Nancy A. Lynch, Bruce H. Krogh, editors, Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings. Volume 1790 of Lecture Notes in Computer Science, pages 215-228, Springer, 2000. [doi]
@inproceedings{LafferriereM00, title = {Uniform Reachability Algorithms}, author = {Gerardo Lafferriere and Christopher L. Miller}, year = {2000}, url = {http://link.springer.de/link/service/series/0558/bibs/1790/17900215.htm}, researchr = {https://researchr.org/publication/LafferriereM00}, cites = {0}, citedby = {0}, pages = {215-228}, booktitle = {Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings}, editor = {Nancy A. Lynch and Bruce H. Krogh}, volume = {1790}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-67259-1}, }