Viewing all changes in revision 181.3.13.
- Committer: Jiri Srba
- Date: 2017-11-30 13:49:41 UTC
- mto: This revision was merged to the branch mainline in revision 188.
- Revision ID: srba@cs.aau.dk-20171130134941-ur237v98wqcgx8va
added documentation for CTL equivalence simplification of formulae
- files added:
- Documentation/CTL-formula-equivalence-rewriting.pdf
expand all
collapse all
added
removed
