Tools and Algorithms for the Construction and Analysis of Systems
3 authors - Paperback
£37.70
Find out more
Marieke Huisman Editor & Author
Marieke Huisman is Professor at the Faculty of Electrical Engineering, Mathematics and Computer Science of the University of Twente, The Netherlands, and Anton Wijs is Assistant Professor at the Department of Mathematics and Computer Science of the Eindhoven University of Technology, The Netherlands.
