Project

General

Profile

« Previous | Next » 

Revision c5105465

IDc5105465d05ab2fae329fc9d000bb0d11e3fe598
Parent 0aa34675
Child 17af2794

Added by Christoph Egger almost 4 years ago

Add function to convert CTL -> μ Calculus

Needs a #'gensym implementation for variable names still

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences