Certified Non-Confluence with ConCon 1.5? Thomas Sternagel Christian Sternagel University of Innsbruck, Austria

First Page		Document Content
Date: 2017-09-12 04:41:19		Certified Non-Confluence with ConCon 1.5? Thomas Sternagel Christian Sternagel University of Innsbruck, Austria Add to Reading List Source URL: cl-informatik.uibk.ac.at Download Document from Source Website File Size: 278,31 KB Share Document on Facebook