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 条
  • [1] Special Issue Editorial "Symmetry in the Mathematical Inequalities"
    Minculete, Nicusor
    SYMMETRY-BASEL, 2022, 14 (04):
  • [2] Special Issue Editorial: "Symmetry and Geometry in Physics"
    Ungar, Abraham A.
    SYMMETRY-BASEL, 2022, 14 (08):
  • [3] Editorial: Special Issue on Symmetry and Asymmetry in Sport Sciences
    Afonso, Jose
    Pena, Javier
    Garcia-de-Alcaraz, Antonio
    SYMMETRY-BASEL, 2024, 16 (12):
  • [4] Editorial for Special Issue Symmetry in Physics of Plasma Technologies
    Kukushkin, Alexander B.
    SYMMETRY-BASEL, 2023, 15 (01):
  • [5] Special Issue Editorial "Symmetry in Structural Health Monitoring"
    Yang, Yang
    SYMMETRY-BASEL, 2022, 14 (06):
  • [6] Editorial for Special Issue "Symmetry in Physics of Plasma Technologies II"
    Kukushkin, Alexander B.
    SYMMETRY-BASEL, 2024, 16 (04):
  • [7] Editorial of Special Issue "Application of Mathematical Modelling and Symmetry in Neuroscience"
    Navarro-Pardo, Esperanza
    SYMMETRY-BASEL, 2022, 14 (05):
  • [8] Special Issue Editorial: "Discrete and Continuous Memristive Nonlinear Systems and Symmetry "
    He, Shaobo
    SYMMETRY-BASEL, 2023, 15 (01):
  • [9] Special Issue Editorial "Symmetry of Hamiltonian Systems: Classical and Quantum Aspects"
    Prykarpatski, Anatolij K.
    Balinsky, Alexander A.
    SYMMETRY-BASEL, 2023, 15 (01):
  • [10] Guest editorial: special issue on emerging challenges in software certification and verification
    Luigi De Simone
    Nuno Laranjeiro
    Domenico Cotroneo
    Software Quality Journal, 2023, 31 : 305 - 306
12345