Cover Image
Read Now

1
Published 2011
Springer Berlin Heidelberg
“... of Software (SPIN 2011), Formal Methods for Robotics and Automation (FM-R 2011), and Practical Synthesis...”