Editorial for special issue on symmetry in automatic verification

被引：0
|
作者：
Emerson, EA [1 ]
机构：
[1] UNIV TEXAS,DEPT COMP SCI,AUSTIN,TX 78712
来源：
FORMAL METHODS IN SYSTEM DESIGN | 1996年 / 9卷 / 1-2期
关键词：
D O I：
10.1007/BF00625966
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：5 / 6
页数：2
相关论文
共 50 条
  • [21] Special issue editorial
    The Scottish Manufacturing Institute, Heriot-Watt University, Edinburgh, United Kingdom
    Virtual Reality, 2007, 4 (185-188) : 185 - 188
  • [22] Special Issue Editorial
    Grifell-Tatje, E.
    Lovell, C. A. K.
    BRQ-BUSINESS RESEARCH QUARTERLY, 2018, 21 (04) : 213 - 214
  • [23] Special Issue Editorial
    X. Sean Wang
    Xiaoyong Du
    Hui Xiong
    Data Science and Engineering, 2016, 1 (4) : 201 - 202
  • [24] Editorial Special Issue
    Bezivin, Jean
    Meyer, Bertrand
    JOURNAL OF OBJECT TECHNOLOGY, 2007, 6 (09): : 11 - 11
  • [25] The Editorial for this Special Issue
    Donald DeGracia
    Bingren Hu
    Translational Stroke Research, 2013, 4 (6) : 579 - 580
  • [26] Special Issue editorial
    Acharya, Sushan
    Mjaya, Ahmmardouh
    Robinson-Pant, Anna
    COMPARE-A JOURNAL OF COMPARATIVE AND INTERNATIONAL EDUCATION, 2025, 55 (01) : 1 - 10
  • [27] Special Issue Editorial
    Crupi, Vincenzo (crupi.vincenzo@unime.it), 1600, SAGE Publications Ltd (231):
  • [28] Editorial Special Issue
    Jones, Anne
    Campbell, Narelle
    AUSTRALIAN JOURNAL OF RURAL HEALTH, 2021, 29 (02) : 124 - 126
  • [29] Special Issue Editorial
    Simon Bell
    Systemic Practice and Action Research, 2001, 14 (6) : 661 - 667
  • [30] Editorial for special issue
    Huh, Chang
    Park, Kwangsoo
    FAMILY & CONSUMER SCIENCES RESEARCH JOURNAL, 2023, 51 (04): : 245 - 246
12345