276 | Formal methods for Protocol Engineering and Distributed Systems | ||
---|---|---|---|
°³ÃÖÀÏÀÚ | 2002/11/11~14 | ±¹³»/±¹¿Ü | |
ȨÆäÀÌÁö | http://www.ece.utexas.edu/FORTE | Àå ¼Ò | |
ÀÏÀÚ:2002/11/11~14 Àå¼Ò:Houston, Texas, USA |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.