I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

A Dynamic Temporal Logic for Quality of Service in Choreogr..:

, In: Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science,
Pombo, Carlos G. Lopez ; Suñé, Agustín E. Martinez ; Tuosto, Emilio - p. 119-138 , 2023
Link: https://doi.org/10.1007/978-3-031-47963-2_9