zot

swMATH14603MaRDI QIDQ26502FDOQ26502

Author name not available (Why is that?)

Official website: https://code.google.com/archive/p/zot/

Cited In (2)

• qtlsolver
• A tool for deciding the satisfiability of continuous-time metric temporal logic

This page was built for software: zot