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

From FSL
Jump to: navigation, search
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>
<private>== Submitted to ESOP'14 ==
 
<pubbib id='stefanescu-ciobaca-moore-serbanuta-rosu-2014-esop-submission' template='PubDefaultWithAbstractAndTitle'/><private>
 

Revision as of 00:00, 15 October 2013


Personal tools
Namespaces

Variants
Actions
Navigation