MVDA 2013 : 2nd IEEE Workshop on Modeling and Verifying Distributed Applications
![]() ![]() |
|||
°³ÃÖÀÏÀÚ | 2013/07/02-05 | ±¹³»/±¹¿Ü | ±¹¿Ü |
ȨÆäÀÌÁö | http://compsac.cs.iastate.edu/mvda2013.php | Àå ¼Ò | |
MVDA 2013 : 2nd IEEE Workshop on Modeling and Verifying Distributed Applications July 2-5, 2013 Kyoto, Japan |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.