Reactive systems modelling, specification and verification

Saved in:
Bibliographic Details
Other Authors: Aceto, Luca, Anna Ingaolfsdaottir 1952, Larsen,K. G. 1957 Kim G., Srba, Jieri 1957 Kim G.
Format: Book
Published: Cambridge New York Cambridge University Press 2007
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items