@inproceedings{2e382462ca6a43abb9f78ff8a3fd6e14,
title = "Rob Tristan Gerth: 1956-2003",
abstract = "On Friday November 28, 2003, computer scientist and logician Rob Gerth died from sudden cardiac arrest. It is impossible to say all that the loss of Rob means to Intel, to the verification community, and to each of us personally.",
author = "C. Huizing and R. Kuiper",
year = "2004",
doi = "10.1007/978-3-540-27813-9_1",
language = "English",
isbn = "3-540-22342-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "10--11",
editor = "R. Alur and D.A. Peled",
booktitle = "CAV 2004",
address = "Germany",
}