Search

You searched for: Auteur Chaochen, Zhou Remove constraint Auteur: Chaochen, Zhou
1 entry found
Number of results to display per page

Search Results

1. Formal Methods and Hybrid Real-Time Systems
thumbnail
Full text!
Author:
Jones, Cliff B.; Bjørner, Dines; Chaochen, Zhou; Kanade, Takeo; Liu, Zhiming; Woodcock, Jim; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book