Sophie Renault, Eduard Cerny. Improving Termination of MDG-Based Abstract State Enumeration via Term Schematization. Electronic Notes in Theoretical Computer Science, 23(2):57-74, 1999. [doi]
No references recorded for this publication.
No citations of this publication recorded.