GOAL: A graphical tool for manipulating Büchi automata and temporal formulae
Journal
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Journal Volume
4424 LNCS
Pages
466-471
Date Issued
2007
Author(s)
Type
book