Aviv Kuvent
Aviv Kuvent
Shahar Maoz
Jan Oliver Ringert
A symbolic justice violations transition system for unrealizable GR(1) specifications.
362-372
2017
ESEC/SIGSOFT FSE
https://doi.org/10.1145/3106237.3106240
https://www.wikidata.org/entity/Q131117272
conf/sigsoft/2017
db/conf/sigsoft/fse2017.html#KuventMR17
Shahar Maoz
Jan Oliver Ringert