Robert P. Goldman, David J. Musliner, Michael J. S. Pelican. Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis. In Claire Tomlin, Mark R. Greenstreet, editors, Hybrid Systems: Computation and Control, 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings. Volume 2289 of Lecture Notes in Computer Science, pages 225-238, Springer, 2002. [doi]
@inproceedings{GoldmanMP02, title = {Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis}, author = {Robert P. Goldman and David J. Musliner and Michael J. S. Pelican}, year = {2002}, url = {http://link.springer.de/link/service/series/0558/bibs/2289/22890225.htm}, researchr = {https://researchr.org/publication/GoldmanMP02}, cites = {0}, citedby = {0}, pages = {225-238}, booktitle = {Hybrid Systems: Computation and Control, 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings}, editor = {Claire Tomlin and Mark R. Greenstreet}, volume = {2289}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-43321-X}, }