Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material)

preprint2014arXivOpen access

Abstract

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

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.