| Title | Formal Verification of Privacy Properties in Electric Vehicle Charging |
| Publication Type | Book Chapter |
| Year of Publication | 2015 |
| Authors | Fazouane, M., H. Kopp, RW. van der Heijden, D. Le Métayer, and F. Kargl |
| Editor | Piessens, F., J. Caballero, and N. Bielova |
| Book Title | Engineering Secure Software and Systems |
| Series Title | Lecture Notes in Computer Science |
| Volume | 8978 |
| Pagination | 17-33 |
| Publisher | Springer International Publishing |
| ISBN Number | 978-3-319-15617-0 |
| Keywords | electric vehicle charging, formal verification, privacy |
| URL | http://dx.doi.org/10.1007/978-3-319-15618-7_2 |
| DOI | 10.1007/978-3-319-15618-7_2 |