Dagstuhl Seminar Proceedings: Directed Model Checking 2006

- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/2006P6172
- ask others
Stefan Edelkamp, Stefan Leue, Willem Visser (Eds.): Directed Model Checking, 26.04. - 29.04.2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 Dagstuhl Seminar Proceedings 06172
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/BoyapatiD06
- ask others
Chandrasekhar Boyapati, Paul T. Darga: Efficient Software Model Checking of Data Structure Properties.
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/EdelkampLV06
- ask others
Stefan Edelkamp, Stefan Leue, Willem Visser: 06172 Executive Summary -- Directed Model Checking.
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/EdelkampLV06a
- ask others
Stefan Edelkamp, Stefan Leue, Willem Visser: 06172 Abstracts Collection -- Directed Model Checking.