Bianco, Alessandro and Mogavero, Fabio and Murano, Aniello
(2009)
Graded Computation Tree Logic.
In: TWENTY-FOURTH ANNUAL IEEE SYMPOSIUM ON LOGIC in COMPUTER SCIENCE (LICS 2009), 11-14 August 2009, Los Angeles, California.
Full text not available from this repository.
| Item Type: |
Conference or Workshop Item
(UNSPECIFIED)
|
| Uncontrolled Keywords: |
Branching-Time Temporal Logics, Alternating Tree Automata, Counting Quantifiers, Satisfiability |
| Depositing User: |
ing Paolo Nicastro
|
| Date Deposited: |
18 Oct 2010 08:15 |
| Last Modified: |
30 Apr 2014 19:41 |
| URI: |
http://www.fedoa.unina.it/id/eprint/5454 |
Actions (login required)
 |
View Item |
