Design and Implementation of a GUI for the TLC model checker

Research output: Contribution to journal › Article › Scientific › peer-review

NEO

Keywords

@article{ed5d31c0bd6540a6ad5fd50127bb99da,

title = "Design and Implementation of a GUI for the TLC model checker",

keywords = "Wiskunde en Informatica, Techniek, technische Wiskunde en Informatica, CWTS 0.75 <= JFIS < 2.00",

author = "B. Wang and C Pronk",

note = "NEO",

year = "2006",

language = "Undefined/Unknown",

volume = "41",

pages = "38--43",

journal = "ACM SIGPLAN Notices",

issn = "0362-1340",

publisher = "Association for Computing Machinery (ACM)",

number = "12",

}