"Model Checking Starvation for Resource-aware Active Objects with Coloured ..."

Anastasia Gkolfi et al. (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics