Conflict-directed A:::*::: and its role in model-based embedded systems

Brian C. Williams, Robert J. Ragno. Conflict-directed A:::*::: and its role in model-based embedded systems. Discrete Applied Mathematics, 155(12):1562-1595, 2007. [doi]

Abstract

Abstract is missing.