馆藏书目查询系统 - 上海图书馆

Author Results for Brim Lubǒs.

Cover is for reference only

CONCUR 2002-concurrency theory：13th International Conference, Brno, Czech Republic, August 20-23, 2002 : proceedings

Corporate Authors: International Conference on Concurrency Theory (13th 2002 Brno, Czech Republic)
Group Author: Brim Lubǒs.
Published: Springer,
Publication Dates: c2002.
Call Number: TP338.6-532/I61.5/2002

Book

Cover is for reference only

Formal methods：applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers

Corporate Authors: International Workshop on Formal Methods for Industrial Critical Systems (11th 2006 Bonn, Germany); NetLibrary, Inc.; PDMC 2006 (2006 Bonn, Germany) (Bonn, Germany))
Group Author: Brim Lubǒs.
Published: Springer,
Publication Dates: c2007.

Book

Narrow Search