Searching for mutual exclusion algorithms using BDDs : preliminary version (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.1 no.3)

Searching for mutual exclusion algorithms using BDDs : preliminary version

(AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.1 no.3)

Call No. (NDL): M159-B5
Bibliographic ID of National Diet Library: 000003586404

Material type: 図書

Author: [by]Koichi Takahashi, Masami Hagiya

Publisher: Collaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology

Publication date: 2001.4

Material Format: Paper

Capacity, size, etc.: 1v. ; 30cm

NDC: -

View All

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
Title: Searching for mutual exclusion algorithms using BDDs : preliminary version
Author/Editor: [by]Koichi Takahashi, Masami Hagiya
Series Title: AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.1 no.3
Publication, Distribution, etc.: Amagasaki : Collaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology
Publication Date: 2001.4
Publication Date (W3CDTF): 2001
Extent: 1v.
Size: 30cm
Alternative Title: BDDを使った相互排他アルゴリズムの探索 BDD オツカッタソウゴハイタアルゴリズムノタンサク
Place of Publication (Country Code): JP
Text Language Code: eng
NDLC: M159
Target Audience: 一般
Holding library: 国立国会図書館
Call No.: M159-B5
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003586404
http://id.ndl.go.jp/bib/000003586404
National Bibliography No. (JPNO): 20404601
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 113