Tool support for learning Büchi automata and linear temporal logic

From MaRDI portal
Publication:1019031