- Referenced in 723 articles
- Spin is a popular open-source software tool...
- Referenced in 13 articles
- JFLAP is software for experimenting with formal languages...
- Referenced in 100 articles
- Fast LTL to Büchi automata translation. We present...
- Referenced in 7 articles
- GOAL is a graphical interactive tool for defining...