Project

General

Profile

« Previous | Next » 

Revision 3e2aa1b8

ID3e2aa1b8ffe55a33cf74b761f97dc01a844b7c12
Parent d0628bb9
Child edfbcc2b

Added by Christoph Egger over 1 year ago

Remove A( ψ R φ) as it's not supported by all CTL reasoners

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences