Patrick Wischnewski
Identifiers
- name variant Patrick Wischnewski 0.60 · backfill
Papers (1)
- Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material) cs.LO · 2013 · author #4
Mentions
- 1309.0065 #4 · backfill · confidence 0.70 Patrick Wischnewski
Frequent Coauthors
- Ching Hoo Tang 1 shared papers
- Christoph Weidenbach 1 shared papers
- Deepak Dhungana 1 shared papers