Naijun Zhan
Naijun Zhan
1 books in the database
Books
Co-authored books and collections
Books that list Naijun Zhan among their authors but not as the lead author: co-written works, collections and compilations.
Formal MethodsMarieke Huisman
Formal Methods
Marieke Huisman · 2021
Symposium on Real-Time and Hybrid SystemsCliff Jones
Symposium on Real-Time and Hybrid Systems
Cliff Jones · 2018
Dependable Software Engineering : Theories, Tools, and ApplicationsMartin änzle
Dependable Software Engineering : Theories, Tools, and Applications
Martin änzle · 2016