DSpace
 

DSpace at IIT Bombay >
IITB Publications >
Proceedings papers >

Please use this identifier to cite or link to this item: http://dspace.library.iitb.ac.in/jspui/handle/100/1931

Title: A toolset for modelling and verification of GALS systems
Authors: RAMESH, S
SONALKAR, S
D'SILVA, V
CHANDRA, N
VIJAYALAKSHMI, B
Issue Date: 2004
Publisher: SPRINGER-VERLAG BERLIN
Citation: COMPUTER AIDED VERIFICATION,3114,506-509
URI: http://dspace.library.iitb.ac.in/xmlui/handle/10054/15167
http://hdl.handle.net/100/1931
ISBN: 3-540-22342-8
ISSN: 0302-9743
Appears in Collections:Proceedings papers

Files in This Item:

There are no files associated with this item.

View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback