Patrick Wischnewski

Identifiers

• name variant Patrick Wischnewski 0.60 · backfill

Papers (1)

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