版权所有:内蒙古大学图书馆 技术提供:维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
作者机构:Institute for Formal Methods in Computer Science Universität Stuttgart Universitätsstr. 38 70569 Stuttgart Germany
出 版 物:《International Journal of Foundations of Computer Science》
年 卷 期:2011年第22卷第2期
页 面:275-276页
学科分类:08[工学] 0812[工学-计算机科学与技术(可授工学、理学学位)]