%0 Conference Paper %1 conf/date/AndritsopoulosCDKMPTPR03 %A Andritsopoulos, Fotis %A Charopoulos, C. %A Doumenis, Gregory %A Karoubalis, Fotis %A Mitsos, Yannis %A Petreas, F. %A Theologitou, Ioanna %A Perissakis, Stylianos %A Reisis, Dionisios I. %B DATE %D 2003 %I IEEE Computer Society %K dblp %P 20224-20231 %T Verification of a Complex SoC: The PRO3 Case-Study. %U http://dblp.uni-trier.de/db/conf/date/date2003.html#AndritsopoulosCDKMPTPR03 %@ 0-7695-1870-2

@inproceedings{conf/date/AndritsopoulosCDKMPTPR03, added-at = {2023-03-24T00:00:00.000+0100}, author = {Andritsopoulos, Fotis and Charopoulos, C. and Doumenis, Gregory and Karoubalis, Fotis and Mitsos, Yannis and Petreas, F. and Theologitou, Ioanna and Perissakis, Stylianos and Reisis, Dionisios I.}, biburl = {https://www.bibsonomy.org/bibtex/2f151784aee754ec3e234872bb5d84238/dblp}, booktitle = {DATE}, crossref = {conf/date/2003}, ee = {http://dl.acm.org/citation.cfm?id=1022954}, interhash = {107b76a11af80ffea28a4c67e31c8a0e}, intrahash = {f151784aee754ec3e234872bb5d84238}, isbn = {0-7695-1870-2}, keywords = {dblp}, pages = {20224-20231}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:54:02.000+0200}, title = {Verification of a Complex SoC: The PRO3 Case-Study.}, url = {http://dblp.uni-trier.de/db/conf/date/date2003.html#AndritsopoulosCDKMPTPR03}, year = 2003 }