ISBN: 9781378261729 - verification of several parallel coordination programs based on descriptions of their reachability sets (1 Ergebnisse)