Difference between revisions of "Checking All-Path Reachability using Matching Logic"
From FSL
| Line 1: | Line 1: | ||
<private>== Submitted to ICALP'13 == | <private>== Submitted to ICALP'13 == | ||
<pubbib id='stefanescu-ciobaca-moore-serbanuta-rosu-2013-icalp-submission' template='PubDefaultWithAbstractAndTitle'/></private> | <pubbib id='stefanescu-ciobaca-moore-serbanuta-rosu-2013-icalp-submission' template='PubDefaultWithAbstractAndTitle'/></private> | ||
| + | == Submitted to MFCS'13 == | ||
| + | <pubbib id='stefanescu-ciobaca-moore-serbanuta-rosu-2013-mfcs-submission' template='PubDefaultWithAbstractAndTitle'/> | ||
Revision as of 17:11, 22 April 2013
Submitted to MFCS'13
