T.Umedu: "A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels"Proc.of International Symposium of Formal Methods Europe (FME2002), LNCS2391. 607-624 (2002)
T.Umedu: "A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels"Proc.of International Symposium of Formal Methods Europe (FME2002), LNCS2391. 607-624 (2002)
复制标题
T.Umedu：“一种通过动态建立多路同步通道来描述无线移动应用的语言”Proc.of International Symposium of FormalMethods Europe (FME2002)，LNCS2391。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
