Anders P. Ravn

Anders P. Ravn

1 books in the database

Books

Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded SystemsAnders P. Ravn

Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems

Anders P. Ravn · 2011

Co-authored books and collections

Books that list Anders P. Ravn among their authors but not as the lead author: co-written works, collections and compilations.

Automated Technology for Verification and AnalysisZhiming Liu

Automated Technology for Verification and Analysis

Zhiming Liu · 2009