Project

General

Profile

« Previous | Next » 

Revision 5ec97220

ID5ec97220879a247b3d8233baa92bd5d95b667668
Parent 6553983f
Child a7ae917b

Added by Christoph Egger over 2 years ago

Implement initTables for μ-Calculus

Make following state of a fixpoint it's unfold

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences