dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

Hybrid Systems 1995

Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag (Eds.): Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA. Lecture Notes in Computer Science 1066 Springer 1996, ISBN 3-540-61155-X CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Mon May 20 23:09:30 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page