On the verification of asynchronous parameterized networks of communicating processes by model checking (bibtex)
by I.V. Konnov, V.A. Zakharov
Reference:
On the verification of asynchronous parameterized networks of communicating processes by model checkingI.V. Konnov, V.A. ZakharovMathemathical Methods and Algorithms, ISP RAS, pages 37-58, 2006.Note: Also available as http://lvk.cs.msu.su/ konnov/publications/kz07_sim.pdf
Bibtex Entry:
@inproceedings{KonnovZakharov2006,
  author    = {I.V. Konnov and V.A. Zakharov},
  title     = {On the verification of asynchronous
        parameterized networks of communicating processes by model checking},
  booktitle = {Mathemathical Methods and Algorithms, ISP RAS},
  year      = {2006},
  volume    = {12},
  pages     = {37-58},
  ee        = {http://discopal.ispras.ru/pdfs/issue-2006-12/cs-isp-sbornik.pdf},
  note      = "Also available as \url{http://lvk.cs.msu.su/~konnov/publications/kz07_sim.pdf}",
}
Powered by bibtexbrowser