Special issue: Select papers from the 19th international conference (CAV 2007), Berlin, Germany, July 3--7, 2007.

No author found.

Publication date: 18 March 2009

Published in: Formal Methods in System Design (Search for Journal in Brave)

Application models in control theory (93C95) Proceedings, conferences, collections, etc. pertaining to systems and control theory (93-06)

This page was built for publication: Special issue: Select papers from the 19th international conference (CAV 2007), Berlin, Germany, July 3--7, 2007.