Hooggespannen verwachtingen model checking

Brinksma, Ed and Katoen, Joost-Pieter (2001) Hooggespannen verwachtingen model checking. Bits & chips : tweewekelijks nieuwsmagazine voor de hightechindustrie, 3 (4). pp. 31-34. ISSN 1879-6443

PDF Restricted to UT campus only: Request a copy 75Kb

Item Type:	Article
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Formal Methods and Tools (FMT)
Link to this item:	http://purl.utwente.nl/publications/63258
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Daily downloads in the past month

Monthly downloads in the past 12 months

More statistics for this item...

Show download statistics for this publication

Repository Staff Only: item control page