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!
Description
Physical Description:xvi, 284 p. ill. 26 cm
Bibliography:Includes bibliographical references (p. 267-279) and index
ISBN:9780521875462 (hbk.)
0521875463 (hbk.)