arXiv subjects

Deepak Dhungana

Publications and source records attributed to Deepak Dhungana.

1 recordsLinked to original sources

arXiv2014

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

cs.LO↗