Symbolic model checking of tense logics on rational Kripke models
- Wilmari Bekker
- , Valentin Goranko
- University of the Witwatersrand
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
4
Citations
(Scopus)