Difference between revisions of "Checking Reachability using Matching Logic"

From FSL
Jump to: navigation, search
(Redirected page to Reachability Logic)
 
Line 1: Line 1:
== OOPSLA'12 ==
+
#REDIRECT [[Reachability Logic]]
<pubbib id='rosu-stefanescu-2012-oopsla' template='PubDefaultWithAbstractAndTitle'/>
+
<private>
+
== Submitted to SPLASH'12 ==
+
<pub id='rosu-stefanescu-2012-splash-submission' template='PubDefaultWithAbstractAndTitle'/>
+
== Technical Report ==
+
<pubbib id='rosu-stefanescu-2012-tr-g' template='PubDefaultWithAbstractAndTitle' />
+
</private>
+

Latest revision as of 16:14, 12 August 2017

  1. REDIRECT Reachability Logic
Personal tools
Namespaces

Variants
Actions
Navigation