Selected and Extended Papers from TACAS 2018: Preface

Dirk Beyer; Marieke Huisman

doi:10.1007/s10817-020-09575-8

Selected and Extended Papers from TACAS 2018: Preface

Dirk Beyer^*, Marieke Huisman^*

^*Corresponding author for this work

Formal Methods and Tools

Research output: Contribution to journal › Editorial › Academic

82 Downloads (Pure)

Original language	English
Pages (from-to)	1331-1332
Number of pages	2
Journal	Journal of automated reasoning
Volume	64
Issue number	7
Early online date	24 Sept 2020
DOIs	https://doi.org/10.1007/s10817-020-09575-8
Publication status	Published - 1 Oct 2020
Event	24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018 - Makedonia Palace, Thessaloniki, Greece Duration: 14 Apr 2018 → 20 Apr 2018 Conference number: 24 https://etaps.org/2018/tacas

Keywords

UT-Hybrid-D

Access to Document

10.1007/s10817-020-09575-8Licence: CC BY

Beyer-2020-Selected-and-extended-papers-from-tFinal published version, 168 KBLicence: CC BY

Cite this

@article{48fd12ac00ec4f20aaeb9ef861fc3fa6,

title = "Selected and Extended Papers from TACAS 2018: Preface",

keywords = "UT-Hybrid-D",

author = "Dirk Beyer and Marieke Huisman",

note = "Springer deal Funding Information: Open Access funding provided by Projekt DEAL.; 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, TACAS 2018 ; Conference date: 14-04-2018 Through 20-04-2018",

year = "2020",

month = oct,

day = "1",

doi = "10.1007/s10817-020-09575-8",

language = "English",

volume = "64",

pages = "1331--1332",

journal = "Journal of automated reasoning",

issn = "0168-7433",

publisher = "Springer",

number = "7",

url = "https://etaps.org/2018/tacas",

}

TY - JOUR

T1 - Selected and Extended Papers from TACAS 2018: Preface

AU - Beyer, Dirk

AU - Huisman, Marieke

N1 - Conference code: 24

PY - 2020/10/1

Y1 - 2020/10/1

KW - UT-Hybrid-D

U2 - 10.1007/s10817-020-09575-8

DO - 10.1007/s10817-020-09575-8

M3 - Editorial

SN - 0168-7433

VL - 64

SP - 1331

EP - 1332

JO - Journal of automated reasoning

JF - Journal of automated reasoning

IS - 7

T2 - 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018

Y2 - 14 April 2018 through 20 April 2018

ER -