C. Pronk

List of publications from the DBLP Bibliography Server - FAQ

2006

1 EE B. Wang, C. Pronk: Design and implementation of a GUI for the TLC model checker. SIGPLAN Notices 41(12): 38-43 (2006)

2006
1	EE	B. Wang, C. Pronk: Design and implementation of a GUI for the TLC model checker. SIGPLAN Notices 41(12): 38-43 (2006)

Coauthor Index