Exploiting Anti-scenarios for the Non Realizability Problem

von Asteasuain, Fernando
Veröffentlicht in Argentine Congress of Computer Science (25. : 2019 : Río Cuarto) Computer Science - CACIC 2019 (2020)