529 | DSV-IS 2002
![]() ![]() |
||
---|---|---|---|
°³ÃÖÀÏÀÚ | 2002/06/12~14 | ±¹³»/±¹¿Ü | |
ȨÆäÀÌÁö | http://www.dsvis.org/ | Àå ¼Ò | |
International Workshop on the Design, Specification and Verification of Interactive Systems(DSV-IS 2002 ) ³¯Â¥ 2002. 6.12-14 Àå¼Ò µ¶ÀÏ Rostock |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.