Torna al livello superiore
Esporta come [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Raggruppa per: Tipologia del documento | Nessun raggruppamento
Numero di documenti: 3.

Bianco, Alessandro (2010) Models and Algorithms for Fairness and Priority in Scheduling. [Tesi di dottorato] (Inedito)

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.

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.

Questa lista è stata generata il Thu Mar 28 22:40:52 2024 CET.