Parameterized Model Checking of Resource Reservation Protocol (bibtex)
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/}
}
Powered by bibtexbrowser