ID:DA05029316
Workshop on Specification and Verification of Concurrent Systems, BCS-FACS
同姓同名の著者を検索
C. Rattray, (ed.)
Springer-Verlag c1990 Workshops in computing
: Germany , : U.S.
所蔵館16館
