TY  - BOOK
AU  - Gupta, Rajesh Kumar,
TI  - Formal methods and models for system design: a system level pers pective 
SN  - 1402080514 (alk. paper)
U1  - 004.21  22
PY  - 2004///
CY  - Boston
PB  - Kluwer Academic Publishers
KW  - System design
KW  - Mathematical models
N1  - Includes bibliographical references
ER  -