About KOASAS KAIST Library
FORMAL DESCRIPTION TECHNIQUES FOR DISTRIBUTED SYSTEMS AND COMMUNICATION PROTOCOLS, v.C-2, pp.393 - 408
Display Full Item Record
트윗하기
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
rss_1.0 rss_2.0 atom_1.0