Introduction to the special issue for SPIN 2021

被引：0
|
作者：
Alfons Laarman
Ana Sokolova
机构：
[1] Leiden University,
[2] University of Salzburg,undefined
来源：
International Journal on Software Tools for Technology Transfer | 2023年 / 25卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The 27th International Symposium on Model Checking Software, SPIN 2021, was held online, July 12, 2021. The current special issue contains extended versions of three selected works published at the symposium. This short introduction presents these selected papers and the selection process.
引用
收藏
页码：75 / 76
页数：1
相关论文
共 50 条
  • [21] Editor's Introduction for 2021 Special Issue on Factor Investing
    Fabozzi, Frank J.
    JOURNAL OF PORTFOLIO MANAGEMENT, 2021, 47 (02): : 1 - 3
  • [22] Introduction to the special issue of the ECML PKDD 2021 journal track
    Appice, Annalisa
    Escalera, Sergio
    Gamez, Jose A.
    Trautmann, Heike
    MACHINE LEARNING, 2021, 110 (10) : 2991 - 2992
  • [23] Introduction to the 2021 special issue for the Association for Reading and Writing in Asia
    Poh Wee Koh
    Reading and Writing, 2024, 37 : 811 - 815
  • [24] Introduction to the Special Issue: Selected papers from SFLIG 2021
    To, Vinh Thi
    LINGUISTICS AND THE HUMAN SCIENCES, 2024, 16 (01): : 1 - 3
  • [25] Introduction to 2021 special issue of JAC on art in public spaces
    Petersen, Anne Ring
    Nielsen, Sabine Dahl
    JOURNAL OF AESTHETICS & CULTURE, 2022, 14 (01):
  • [26] Editorial Introduction to the 2021 Conference on Artificial Life Special Issue
    Cejkova, Jitka
    Holler, Silvia
    Loffler, Richard
    Witkowski, Olaf
    ARTIFICIAL LIFE, 2022, 28 (04) : 397 - 400
  • [27] Introduction to the special issue of the ECML PKDD 2021 journal track
    Appice, Annalisa
    Escalera, Sergio
    Gamez, Jose A.
    Trautmann, Heike
    DATA MINING AND KNOWLEDGE DISCOVERY, 2021, 35 (06) : 2540 - 2541
  • [28] Introduction to the special issue of the ECML PKDD 2021 journal track
    Annalisa Appice
    Sergio Escalera
    Jose A. Gámez
    Heike Trautmann
    Machine Learning, 2021, 110 : 2991 - 2992
  • [29] Introduction to the Special Issue on Specification and Design Languages (FDL 2021)
    Deantoni, Julien
    Girault, Alain
    Grosse, Daniel
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2024, 23 (05)
  • [30] Introduction January 2021 Special Issue Dermatology/Plastic Surgery
    Bernstein, Eric F.
    LASERS IN SURGERY AND MEDICINE, 2021, 53 (01) : 7 - 7
12345