External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006

Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm, editors, Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006. Volume 06081 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.

Conference: Dagstuhl2006

@proceedings{dagstuhl:2006P6081,
  title = {Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006},
  year = {2006},
  tags = {program analysis, meta programming, model checking, program verification, meta-model, analysis, static analysis, Meta-Environment},
  researchr = {https://researchr.org/publication/dagstuhl%3A2006P6081},
  cites = {0},
  citedby = {0},
  booktitle = {Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006},
  conference = {Dagstuhl},
  editor = {Parosh Aziz Abdulla and Ahmed Bouajjani and Markus Müller-Olm},
  volume = {06081},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}
runs on