Difference between revisions of "Checking All-Path Reachability using Matching Logic"

From FSL
Jump to: navigation, search
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:12, 22 April 2013

Submitted to MFCS'13

Personal tools
Namespaces

Variants
Actions
Navigation