Domain partitioning for open reactive systems

Scott D. Stoller. Domain partitioning for open reactive systems. In ISSTA. pages 44-54, 2002. [doi]

Abstract

Abstract is missing.