著者名	書名	版表示	出版者名	出版年	シリーズ名	番号	ISBN	ISSN	URL
ACM & IEEE International Conference on Formal Methods and Models for Co-Design and IEEE Computer Society. Design Automation Technical Committee and IEEE Circuits and Systems Society and ACM Special Interest Group on Design Automation	Proceedings, first ACM and IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '03 : 24-26 June 2003, Mont Saint-Michel, France		IEEE Computer Society	2003			0769519237		https://ci.nii.ac.jp/ncid/BA70109835
</div><div class="naked_ctrl">
<form action="/index.cgi/contrast" method="get" name="gate">
<p><a href="http://altstyle.alfasado.net">AltStyle</a> によって変換されたページ <a href="https://ci.nii.ac.jp:443/ncid/BA70109835.tsv">(-&gt;オリジナル)</a>
/ <label>アドレス: <input type="text" name="naked_post_url" value="https://ci.nii.ac.jp:443/ncid/BA70109835.tsv" size="22" /></label> <label>モード: <select name="naked_post_mode">
<option value="default">デフォルト</option>
<option value="speech">音声ブラウザ</option>
<option value="ruby">ルビ付き</option>
<option value="contrast" selected="selected">配色反転</option>
<option value="larger-text">文字拡大</option>
<option value="mobile">モバイル</option>
</select>
<input type="submit" value="表示" />
</p>
</form>
</div>