Rob Gerth
Publication Activity (10 Years)
Years Active: 1981-2002
Publications (10 Years): 0
Publications (10 Years): 0
Publications
- Rob Gerth, Ruurd Kuiper, Doron A. Peled, Wojciech Penczek
- Rob Gerth
- Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper
- Dennis Dams, Rob Gerth
- Rob GerthModel Checking (Abstract). ILPS (1997)
- Dennis Dams, Rob Gerth, Orna Grumberg
- Frank S. de Boer, J. Coenen, Rob Gerth
- Cornelis Huizing, Rob Gerth
- Rob Gerth, Amir Pnueli
- Rob Gerth, Liuba Shrira
- Rob Gerth, Willem P. de Roever
- Rob Gerth