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