Kees Goossens,
"Formal Methods for Networks on Chips,"
Application of Concurrency to System Design, International Conference on, pp. 188-189, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), 2005.
BibTex
x
@article{
10.1109/ACSD.2005.36, author = {Kees Goossens}, title = {Formal Methods for Networks on Chips}, journal ={Application of Concurrency to System Design, International Conference on}, volume = {0}, year = {2005}, issn = {1550-4808}, pages = {188-189}, doi = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2005.36}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - CONF JO - Application of Concurrency to System Design, International Conference on TI - Formal Methods for Networks on Chips SN - 1550-4808 SP188 EP189 A1 - Kees Goossens, PY - 2005 KW - null VL - 0 JA - Application of Concurrency to System Design, International Conference on ER -
Kees Goossens, "Formal Methods for Networks on Chips," acsd, pp.188-189, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), 2005
PDF
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb