arXiv subjects

Patrick Wischnewski

Publications and source records attributed to Patrick Wischnewski.

1 recordsLinked to original sources

arXiv2014

Additional material for the original paper "Automated Verification of Interactive Rule-Based Configuration Systems".

cs.LO↗