1
Real-time systems formal specification and automatic verification

Cover is for reference only
Main Authors: Olderog E.-R
Group Author: Dierks Henning
Published: Cambridge University Press,
Publication Dates: 2008.
Call Number: TP303/O447
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —