Vol-3071⫷ Vol-3072 ⫸Vol-3073
urn:nbn:de:0074-3072-0


Vol-3072/paper25⫷Vol-3072/paper26⫸Vol-3072/paper27
Vadim MalvoneSilvia Stranieri

Towards a Model Checking Tool for Strategy Logic with Simple Goals