Guy Edward Gallasch, Jonathan Billington, Somsak Vanit-Anunchai, Lars Michael Kristensen. Checking safety properties on-the-fly with the sweep-line method. STTT, 9(3-4):371-391, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.