BibTeX
@inproceedings{DBLP:conf/fpl/KitaniTNYNH03,
author = {Tomoya Kitani and
Yoshifumi Takamoto and
Isao Naka and
Keiichi Yasumoto and
Akio Nakata and
Teruo Higashino},
title = {Design and Implementation of Priority Queuing Mechanism
on FPGA Using Concurrent Periodic EFSMs and Parametric Model
Checking},
booktitle = {FPL},
year = {2003},
pages = {1145-1148},
ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2778{\&}spage=1145},
crossref = {DBLP:conf/fpl/2003},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fpl/2003,
editor = {Peter Y. K. Cheung and
George A. Constantinides and
Jos{\'e} T. de Sousa},
title = {Field Programmable Logic and Application, 13th International
Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003,
Proceedings},
booktitle = {FPL},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2778},
year = {2003},
isbn = {3-540-40822-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2003-11-06 by Michael Ley (ley@uni-trier.de)