A logic for graphs with QoS (2004)

by G Ferrari, A Lluch-Lafuente
Venue:In 1st Workshop on Views On Designing Complex Architectures (VODCA), Electronic Notes in Theoretical Computer Science