Design and Implementation of a GUI for the TLC model checker

B. Wang, C Pronk

Research output: Contribution to journalArticleScientificpeer-review

Original languageUndefined/Unknown
Pages (from-to)38-43
Number of pages6
JournalACM SIGPLAN Notices
Issue number12
Publication statusPublished - 2006


  • Wiskunde en Informatica
  • Techniek
  • technische Wiskunde en Informatica
  • CWTS 0.75 <= JFIS < 2.00

Cite this