Karfa, C., Mandal, C., Sarkar, D. and Reade, Chris (2007) Register sharing verification during data-path synthesis. In: International Conference on Computing: Theory and Applications (ICCTA'07); 5-7 Mar 2007, Kolkata, India. ISBN 9780769527703
Full text not available from this archive.
Official URL: http://dx.doi.org/10.1109/ICCTA.2007.111
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Event Title: | International Conference on Computing: Theory and Applications (ICCTA'07) |
| Uncontrolled Keywords: | Formal methods |
| Research Area: | Computer science and informatics |
| Faculty, School or Research Centre: | Faculty of Business and Law Faculty of Business and Law > Kingston Business School (Informatics and Operations Management) |
| Depositing User: | Robert Elves |
| Date Deposited: | 23 Sep 2008 |
| Last Modified: | 05 Mar 2013 10:20 |
| URI: | http://eprints.kingston.ac.uk/id/eprint/2036 |
Actions (Repository Editors)
 |
Item Control Page |