Dagstuhl Seminar Proceedings: Directed Model Checking 2006

> Home > Series > Dagstuhl Seminar Proceedings

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.