Guest editors’ preface to special issue on interval temporal logics

被引:0
|
作者
Ben Moszkowski
Dimitar Guelev
Martin Leucker
机构
[1] De Montfort University,Software Technology Research Laboratory
[2] Institute of Mathematics and Informatics,Department of Algebra and Logic
[3] University of Lübeck,Institute for Software Engineering and Programming Languages
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
页码:1 / 9
页数:8
相关论文
共 50 条