Algorithmic games for full ground references

Andrzej S. Murawski, Nikos Tzevelekos. Algorithmic games for full ground references. Formal Methods in System Design, 52(3):277-314, 2018. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: