Books listed by ISBN > Cambridge University Press > Henning Dierks

Henning Dierks

H.D.

titleISBN-13
(ISBN-10)		year of publica-
tion		other author(s)
Real-Time Systems: Formal Specification and Automatic Verification978-O-521-88333-7
(O-521-88333-4)		2008Ernst-Rüdiger Olderog

Henning Döscher