Real-time systems formal specification and automatic verification

Bibliographic Details
Main Author:	Olderog, E.-R
Other Authors:	Dierks, H.
Format:	Book
Language:	English
Published:	Cambridge, England Cambridge University Press 2008.
Subjects:	Real-time data processing.