Parameterized Model Checking of Resource Reservation Protocol

Konnov, Igor V.

by Igor V. Konnov

Reference:

Parameterized Model Checking of Resource Reservation ProtocolIgor V. Konnov2007, Talk at the INTAS 05-1000008-8144 meeting, Moscow, August 2007.

Bibtex Entry:

@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/}
}