Difference between revisions of "Reachability Logic in K"

From FSL
Jump to: navigation, search
Line 3: Line 3:
 
<private>== Submitted to RTA'14 ==
 
<private>== Submitted to RTA'14 ==
 
<pubbib id='stefanescu-ciobaca-mereuta-moore-serbanuta-rosu-2014-rta-submission' template='PubDefaultWithAbstractAndTitle'/></private>
 
<pubbib id='stefanescu-ciobaca-mereuta-moore-serbanuta-rosu-2014-rta-submission' template='PubDefaultWithAbstractAndTitle'/></private>
 +
== Technical Report ==
 
<pubbib id='stefanescu-ciobaca-moore-serbanuta-rosu-2013-tr' template='PubDefaultWithAbstractAndTitle'/>
 
<pubbib id='stefanescu-ciobaca-moore-serbanuta-rosu-2013-tr' template='PubDefaultWithAbstractAndTitle'/>

Revision as of 00:26, 4 March 2014


Technical Report

Personal tools
Namespaces

Variants
Actions
Navigation