Record Details

A toolset for modelling and verification of GALS systems

DSpace at IIT Bombay

View Archive Info
 
 
Field Value
 
Title A toolset for modelling and verification of GALS systems
 
Creator RAMESH, S
SONALKAR, S
D'SILVA, V
CHANDRA, N
VIJAYALAKSHMI, B
 
Publisher SPRINGER-VERLAG BERLIN
 
Date 2011-10-23T15:50:28Z
2011-12-15T09:11:13Z
2011-10-23T15:50:28Z
2011-12-15T09:11:13Z
2004
 
Type Article; Proceedings Paper
 
Identifier COMPUTER AIDED VERIFICATION,3114,506-509
3-540-22342-8
0302-9743
http://dspace.library.iitb.ac.in/xmlui/handle/10054/15167
http://hdl.handle.net/100/1931
 
Source 16th International Conference on Computer Aided Verification (CAV 2004),Boston, MA,JUL 13-17, 2004
 
Language English