@misc{Konnov2007:INTAS, author = {Igor V. Konnov}, title = {Parameterized Model Checking of Resource Reservation Protocol}, howpublished = {Talk at the INTAS 05-1000008-8144 meeting, Moscow, August 2007}, year = {2007}, URL = {http://www.risc.jku.at/projects/intas/Moscow/} }