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 条
  • [41] Editorial to the special issue
    Setterfield, Mark
    EUROPEAN JOURNAL OF ECONOMICS AND ECONOMIC POLICIES-INTERVENTION, 2020, 17 (03): : 307 - 312
  • [42] Special Issue Editorial
    Roberts, Brian
    INTERNATIONAL JOURNAL OF EDUCATIONAL MANAGEMENT, 2011, 25 (01)
  • [43] Special issue editorial
    Kinshuk, W.
    Spector, J. Michael
    Sampson, Demetrios G.
    COMPUTERS IN HUMAN BEHAVIOR, 2008, 24 (02) : 119 - 121
  • [44] Special issue: Editorial
    Mares, M
    Mesiar, R
    KYBERNETIKA, 2005, 41 (02) : 113 - 114
  • [45] EDITORIAL TO THE SPECIAL ISSUE
    Alfirevic, Niksa
    Aver, Bostjan
    Kerolli-Mustafa, Mihone
    MANAGEMENT-JOURNAL OF CONTEMPORARY MANAGEMENT ISSUES, 2021, 26 : V - V
  • [46] Editorial: This special issue
    不详
    APPLIED LINGUISTICS, 2004, 25 (04) : V - V
  • [47] Special Issue Editorial
    Yunjun Gao
    Lu Chen
    Data Science and Engineering, 2018, 3 (2) : 85 - 85
  • [48] Editorial for special issue
    Revie, C.
    Lees, F.
    Bravo, S.
    JOURNAL OF FISH DISEASES, 2009, 32 (01) : 1 - 2
  • [49] Special Issue Editorial
    Mohammad A. Hasan
    Faizan Javed
    Ioana E. Marinescu
    Data Science and Engineering, 2018, 3 (3) : 197 - 198
  • [50] Editorial, Special Issue
    Johnson, Stefanie K.
    Piccolo, Ronald F.
    JOURNAL OF LEADERSHIP & ORGANIZATIONAL STUDIES, 2022, 29 (02) : 173 - 175
12345