CMCS Tenth Anniversary Meeting Preface

被引：0

作者：

Jacobs, Bart ^{[1
]}

Niqui, Milad ^{[2
]}

Rutten, Jan ^{[2
]}

Silva, Alexandra ^{[2
]}

机构：

[1] Radboud Univ Nijmegen, Inst Comp & Informat Sci, Nijmegen, Netherlands

[2] Fdn Software Engn SEN3, Ctr Wiskunde & Informat, Amsterdam, Netherlands

来源：

关键词：

D O I：

10.1016/j.tcs.2011.06.001

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：4967 / 4968

页数：2