@mastersthesis{Zaytsev-Thesis2003,
  title = {Modelling and Model Checking of Distributed Systems},
  author = {Vadim Zaytsev},
  year = {2003},
  month = {June},
  note = {Available via \url{http://grammarware.net/text/2003/zaytsev-thesis.pdf}.},
  tags = {distributed applications, rule-based, program analysis, completeness, meta programming, case study, software components, model checking, program verification, meta-model, modeling, protocol, refinement, software component, domain analysis, analysis, constraints, model-driven development, Meta-Environment, process modeling},
  researchr = {https://researchr.org/publication/Zaytsev-Thesis2003},
  cites = {0},
  citedby = {0},
  school = {Rostov State University},
  address = {Rostov-on-Don, Russia},
  advisor = {Alexander Litvinenko},
}