Special section on ICMT at STAF 2018

Jesús Sánchez Cuadrado; Arend Rensink

doi:10.1007/s10270-020-00775-9

Special section on ICMT at STAF 2018

Jesús Sánchez Cuadrado^*, Arend Rensink

^*Corresponding author for this work

Formal Methods and Tools

Research output: Contribution to journal › Editorial › Academic › peer-review

Original language	English
Pages (from-to)	399-400
Number of pages	2
Journal	Software and systems modeling
Volume	19
Issue number	2
Early online date	20 Jan 2020
DOIs	https://doi.org/10.1007/s10270-020-00775-9
Publication status	Published - Mar 2020

Keywords

UT-Hybrid-D

Access to Document

10.1007/s10270-020-00775-9

Cite this

@article{c8295bf071f54a28a8e1aa675b1eb0e6,

title = "Special section on ICMT at STAF 2018",

keywords = "UT-Hybrid-D",

author = "Cuadrado, {Jes{\'u}s S{\'a}nchez} and Arend Rensink",

note = "Springer deal",

year = "2020",

month = mar,

doi = "10.1007/s10270-020-00775-9",

language = "English",

volume = "19",

pages = "399--400",

journal = "Software and systems modeling",

issn = "1619-1366",

publisher = "Springer",

number = "2",

}

TY - JOUR

T1 - Special section on ICMT at STAF 2018

AU - Cuadrado, Jesús Sánchez

AU - Rensink, Arend

N1 - Springer deal

PY - 2020/3

Y1 - 2020/3

KW - UT-Hybrid-D

UR - http://www.scopus.com/inward/record.url?scp=85078259799&partnerID=8YFLogxK

U2 - 10.1007/s10270-020-00775-9

DO - 10.1007/s10270-020-00775-9

M3 - Editorial

AN - SCOPUS:85078259799

VL - 19

SP - 399

EP - 400

JO - Software and systems modeling

JF - Software and systems modeling

SN - 1619-1366

IS - 2

ER -

Special section on ICMT at STAF 2018

Keywords

Access to Document

Other files and links

Cite this