The updated original online version for this chapter can be found at 10.1007/978-3-319-47169-3_61
You have full access to this open access chapter, Download conference paper PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Erratum to: Chapter 61 in: T. Margaria and B. Steffen (Eds.) Leveraging Applications of Formal Methods, Verification and Validation (Part II) DOI: 10.1007/978-3-319-47169-3_61
In the original version of this paper, the names of two of the authors were erroneously omitted. This has been updated. The correct author list is as follows:
Pavithra Prabhakar1, Miriam Garcia Soto2, and Ratan Lal1
1 Department of Computer Science, Kansas State University, Manhattan, KS, USA, pprabhakar@ksu.edu, ratan@ksu.edu, http://people.cs.ksu.edu/~pprabhakar/
2 IMDEA Software Institute, Madrid, Spain, miriam.garcia@imdea.org
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
Prabhakar, P., Soto, M.G., Lal, R. (2016). Erratum to: Verification Techniques for Hybrid Systems. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016. Lecture Notes in Computer Science(), vol 9953. Springer, Cham. https://doi.org/10.1007/978-3-319-47169-3_63
Download citation
DOI: https://doi.org/10.1007/978-3-319-47169-3_63
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-47168-6
Online ISBN: 978-3-319-47169-3
eBook Packages: Computer ScienceComputer Science (R0)