On Verification of Parameterized Distributed Systems (bibtex)
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/}
}
Powered by bibtexbrowser