Design and Implementation of a GUI for the TLC model checker

Journal Article (2006)

Author(s)

B Wang (External organisation)

C Pronk (TU Delft - Software Engineering)

Research Group

Software Engineering

CWTS 0.75 <= JFIS < 2.00 Techniek Wiskunde en Informatica Technische Wiskunde en Informatica

To reference this document use:

More Info

expand_more

Publication Year

2006

Research Group

Software Engineering

Bibliographical Note

NEO@en

Issue number

12

Volume number

41

Pages (from-to)

38-43

No files available

Metadata only record. There are no files for this record.