Bianco, Alessandro and Mogavero, Fabio and Murano, Aniello (2010) Graded Computation Tree Logic with Binary Coding. In: 19th EACSL Annual Conference on Computer Science Logic, CSL 2010, August 23 - 27, 2010, Brno Czech Republic.

Full text not available from this repository.

Abstract

Graded path quantifiers have been recently introduced and investigated as a useful framework for generalizing standard existential and universal path quantifiers in the branching-time temporal logic CTL (GCTL), in such a way that they can express statemen

Item Type: Conference or Workshop Item (UNSPECIFIED)
Depositing User: ing Paolo Nicastro
Date Deposited: 18 Oct 2010 08:14
Last Modified: 30 Apr 2014 19:41
URI: http://www.fedoa.unina.it/id/eprint/5390

Actions (login required)

View Item View Item