On Verification of Parameterized Distributed Systems

Konnov, Igor V.

by Igor V. Konnov

Reference:

On Verification of Parameterized Distributed SystemsIgor V. Konnov2006, Talk at the INTAS 05-1000008-8144 meeting, Timisoara, December 2006.

Bibtex Entry:

@misc{Konnov2006:INTAS,
    author = {Igor V. Konnov},
    title  = {On Verification of Parameterized Distributed Systems},
    howpublished = {Talk at the INTAS 05-1000008-8144 meeting, Timisoara, December 2006},
    year   = {2006},
    URL = {http://www.risc.jku.at/projects/intas/Timisoara/}
}