Difference between revisions of "Checking All-Path Reachability using Matching Logic"
From FSL
| Line 3: | Line 3: | ||
<private>== Submitted to MFCS'13 == | <private>== Submitted to MFCS'13 == | ||
<pubbib id='stefanescu-ciobaca-moore-serbanuta-rosu-2013-mfcs-submission' template='PubDefaultWithAbstractAndTitle'/><private> | <pubbib id='stefanescu-ciobaca-moore-serbanuta-rosu-2013-mfcs-submission' template='PubDefaultWithAbstractAndTitle'/><private> | ||
| − | |||
| − | |||
Revision as of 00:00, 15 October 2013
