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 条

[31] Introduction to the 2021 special issue for the Association for Reading and Writing in Asia
Koh, Poh Wee
READING AND WRITING, 2024, 37 (04) : 811 - 815
[32] Introduction to the special issue of the ECML PKDD 2021 journal track
Annalisa Appice
Sergio Escalera
Jose A. Gámez
Heike Trautmann
Data Mining and Knowledge Discovery, 2021, 35 : 2540 - 2541
[33] Introduction to Sept 2021 special issue of Journal for the Study of the Pseudepigrapha: The Wisdom of Solomon Introduction
Hogan, Karina Martin
Zurawski, Jason M.
JOURNAL FOR THE STUDY OF THE PSEUDEPIGRAPHA, 2021, 31 (01) : 3 - 5
[34] Special issue: Special issue on confidentiality - Introduction
Willenborg, L
STATISTICS AND COMPUTING, 2003, 13 (04) : 291 - 293
[35] Special Issue: Manifolds Special Issue Introduction
Chellappa, Rama
IMAGE AND VISION COMPUTING, 2012, 30 (6-7) : 379 - 379
[36] SPECIAL ISSUE ON THE CHARTER Introduction to Special Issue
Tate, Justice Pamela
AUSTRALIAN JOURNAL OF ADMINISTRATIVE LAW, 2018, 25 (01): : 3 - 9
[37] Special issue: Special issue on teamware - Introduction
Georgakopoulos, D
DISTRIBUTED AND PARALLEL DATABASES, 2004, 15 (01) : 5 - 7
[38] Introduction to the Special Issue "The Global Space Exploration Conference (GLEX) 2021"
Ehrenfreund, Pascale
OPEN ASTRONOMY, 2021, 30 (01) : 36 - 36
[39] Introduction for special issue "COFE-FORMEC 2021 joint meeting"
Sessions, John
INTERNATIONAL JOURNAL OF FOREST ENGINEERING, 2022, 33 (03) : 169 - 169
[40] Editor's Introduction Special Issue: COVID-19 2021
Csikai, Ellen L.
JOURNAL OF SOCIAL WORK IN END-OF-LIFE & PALLIATIVE CARE, 2021, 17 (2-3) : 83 - 83

← 1 2 3 4 5 →