文献
J-GLOBAL ID:200902148138408450
整理番号:94A0022489
Analysis of Multi-Process VHDL Specifications with a Petri Net Model.
著者 (2件):
MUELLER J
(Forschungszentrum Informatik(FZI), Karlsruhe, DEU)
,
KRAEMER H
(Hochschule fuer Technik, Wirtschaft und Kultur(FH), Leipzig, DEU)
資料名:
Proceedings. EURO-DAC ’93
(Proceedings. EURO-DAC '93)
ページ:
474-479
発行年:
1993年
JST資料番号:
K19930622
ISBN:
0-8186-4352-8
資料種別:
会議録 (C)
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)