Email Address * *
Name
Subject *
Message * Formal Methods and Hybrid Real-Time Systems Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays - 354075220X - 9783540752202