Faculty of Mathematics and Computing Science, TU/e. 2001-12 A.T. Hofkamp. Reactive machine control: A simulation approach using χ. Faculty of Mechanical Engineering, TU/e. 2001-13 D. Boˇsnački. Enhancing state space reduction techniques for model checking (0)

by M C van Wezel
Venue:Neural Networks for Intelligent Data Analysis: theoretical and experimental aspects. Faculty of Mathematics and Natural Sciences, UL