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