|
|||||
|
|
Flat fragments of CTL and CTL: separating the expressive and distinguishing powers |
|
| Authors: | Dams DR |
| Institution: | Department of Mathematics & Computing Science, Eindhoven University of Technology, PO Box 513, 5600 MB Eindhoven, The Netherlands E-mail: wsindd@win.tue.nl |
| Abstract: | |
| Keywords: | temporal logic LTL CTL expressiveness bisimulation |
| 本文献已被 Oxford 等数据库收录！ | |