Project

General

Profile

« Previous | Next » 

Revision 7b944a64

ID7b944a64e176ec8c0e3da8a22666c6b39b29f63d
Parent 87d5082f
Child 8cac0897

Added by Christoph Egger almost 4 years ago

Add CTL and μ-Calculus Constructors to convert_post

Needed e.g. to implement the CTL → μ conversion

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences