20th International Colloquium on Theoretical Aspects of Computing (ICTAC) Conference

Scholarly Activity

related documents

A Dynamic Temporal Logic for Quality of Service in Choreographic Models Conferences