An Invariant-based Approach to the Verification of Asynchronous Parameterized Networks (bibtex)
by Vladimir Zakharov, Igor Konnov
Reference:
An Invariant-based Approach to the Verification of Asynchronous Parameterized NetworksVladimir Zakharov, Igor KonnovInternational Workshop on Invariant Generation (WING'07), pages 41-55, 2007.Note: Available as http://www.risc.uni-linz.ac.at/publications/download/risc_3128/proceedings.pdf and http://lvk.cs.msu.su/ konnov/publications/kz07_wing.pdf
Bibtex Entry:
@inproceedings{KonnovZakharov2007:WING,
  author    = {Vladimir Zakharov and Igor Konnov},
  title     = {An Invariant-based Approach to the Verification of Asynchronous
        Parameterized Networks},
  booktitle = {International Workshop on Invariant Generation (WING'07)},
  year      = {2007},
  pages     = {41-55},
  howpublished = {RISC, Hagenberg, Austria, June 25-27.
    RISC-Linz Report Series No. 07-07},
  note      = "Available as \url{http://www.risc.uni-linz.ac.at/publications/download/risc_3128/proceedings.pdf} and \url{http://lvk.cs.msu.su/~konnov/publications/kz07_wing.pdf}",
}
Powered by bibtexbrowser