Parameterized Model Checking of Distributed Systems (bibtex)
by Igor V. Konnov
Reference:
Parameterized Model Checking of Distributed SystemsIgor V. Konnovpages 1–198, November 2008, PhD thesis, Lomonosov Moscow State University, Faculty of Computational Mathematics and Cybernetics.Note: Candidate of Sciences in Physics and Mathematics 05.13.11 (PhD in CS)
Bibtex Entry:
@PhdThesis{Konnov2008:PhD,
  author = {Igor V. Konnov},
  title = {Parameterized Model Checking of Distributed Systems},
  year = {2008},
  month = {November},
  pages = {1--198},
  school = {Lomonosov Moscow State University, Faculty of Computational Mathematics and Cybernetics},
  language = {russian},
  URL = {http://lvk.cs.msu.su/~konnov/publications/konnov_phd_thesis.pdf},
  note     = "Candidate of Sciences in Physics and Mathematics 05.13.11 (PhD in CS)",
}
Powered by bibtexbrowser