ICAR Research Data Repository for Knowledge Management
DSpace at IIT Bombay
View Archive InfoMetadata
| Field | Value |
| Title | A toolset for modelling and verification of GALS systems |
| Names |
RAMESH, S
SONALKAR, S D'SILVA, V CHANDRA, N VIJAYALAKSHMI, B |
| Date Issued | 2004 (iso8601) |
| Genre | Article; Proceedings Paper |
| Identifier | COMPUTER AIDED VERIFICATION,3114,506-509 |