GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic

From MaRDI portal
Publication:5458337