Introduction to the special issue for SPIN 2019

Fabrizio Biondi; Thomas Given-Wilson; Axel Legay

doi:10.1007/s10009-020-00580-1

Introduction to the special issue for SPIN 2019

Fabrizio Biondi
, Thomas Given-Wilson
, Axel Legay^*

^*Kontaktforfatter

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Abstract

This short introduction presents the selected papers from SPIN 2019.

Originalsprog	Engelsk
Tidsskrift	International Journal on Software Tools for Technology Transfer
Vol/bind	22
Udgave nummer	5
Sider (fra-til)	563-564
Antal sider	2
ISSN	1433-2779
DOI	https://doi.org/10.1007/s10009-020-00580-1
Status	Udgivet - okt. 2020

Bibliografisk note

Publisher Copyright:
© 2020, Springer-Verlag GmbH Germany, part of Springer Nature.

Adgang til dokumentet

10.1007/s10009-020-00580-1

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

Link to publication in Scopus

Citationsformater

@article{94cf9e1577954366b1cf1abf826efa86,

title = "Introduction to the special issue for SPIN 2019",

abstract = "This short introduction presents the selected papers from SPIN 2019.",

keywords = "Applications, Safety, Security, Statistical model checking",

author = "Fabrizio Biondi and Thomas Given-Wilson and Axel Legay",

note = "Publisher Copyright: {\textcopyright} 2020, Springer-Verlag GmbH Germany, part of Springer Nature.",

year = "2020",

month = oct,

doi = "10.1007/s10009-020-00580-1",

language = "English",

volume = "22",

pages = "563--564",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2779",

publisher = "Springer",

number = "5",

}

TY - JOUR

T1 - Introduction to the special issue for SPIN 2019

AU - Biondi, Fabrizio

AU - Given-Wilson, Thomas

AU - Legay, Axel

PY - 2020/10

Y1 - 2020/10

N2 - This short introduction presents the selected papers from SPIN 2019.

AB - This short introduction presents the selected papers from SPIN 2019.

KW - Applications

KW - Safety

KW - Security

KW - Statistical model checking

UR - https://www.scopus.com/pages/publications/85086043389

U2 - 10.1007/s10009-020-00580-1

DO - 10.1007/s10009-020-00580-1

M3 - Journal article

AN - SCOPUS:85086043389

SN - 1433-2779

VL - 22

SP - 563

EP - 564

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

IS - 5

ER -

Introduction to the special issue for SPIN 2019

Abstract

Bibliografisk note

Adgang til dokumentet

AUB Link

Andre filer og links

Fingeraftryk

Citationsformater