Checking Invariant Confluence, In Whole or In Parts

Michael Whittaker, Joseph M. Hellerstein

Available in: PDF

145 Downloads