About Gyan Pravah
Welcome to access “Gyan Pravah,” an Institutional Digital Repository of Pandit Deendayal Upadhyaya Central Library of Central University of Haryana. It comprises the institutional and faculty publications/documents i.e. papers, theses, dissertations, conference proceedings, ordinances, Annual Reports, Newsletters, Information Bulletins, media clipping, etc. to enhance the records dissemination and visibility of the University.
Please use this identifier to cite or link to this item:
http://hdl.handle.net/123456789/647| Title: | A Verification Approach for GALS Integration of Synchronous Components |
| Authors: | Gupta, R.K. |
| Issue Date: | 2006 |
| Publisher: | Electronic Notes in Theoretical Computer Science |
| URI: | http://hdl.handle.net/123456789/647 |
| Appears in Collections: | School of Basic Sciences |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| A verification approach for GALS integration of synchronous components.pdf | 353.47 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.