Progress Checking for Dummies

Antti Valmari; Henri Hansen

doi:10.1007/978-3-030-00244-2_8

Progress Checking for Dummies

Antti Valmari
, Henri Hansen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

2 Citations (Scopus)

Original language	English
Title of host publication	Formal Methods for Industrial Critical Systems
Editors	Falk Howar, Jiri Barnat
Publisher	Springer International Publishing
Pages	115-130
Volume	11119
DOIs	https://doi.org/10.1007/978-3-030-00244-2_8
Publication status	Published - 2018
Publication type	A4 Article in conference proceedings
Event	International Workshop on Formal Methods for Industrial Critical Systems - Duration: 3 Sept 2018 → 4 Sept 2018

Publication series

Name	Lecture Notes in Computer Science
ISSN (Electronic)	1611-3349

Conference

Conference	International Workshop on Formal Methods for Industrial Critical Systems
Period	3/09/18 → 4/09/18

Publication forum classification

Publication forum level 1

Access to Document

10.1007/978-3-030-00244-2_8Licence: Unspecified

Cite this

@inproceedings{5913aa4733bb40d89223ab8ac461620b,

title = "Progress Checking for Dummies",

author = "Antti Valmari and Henri Hansen",

note = "EXT={"}Valmari, Antti{"}; International Workshop on Formal Methods for Industrial Critical Systems ; Conference date: 03-09-2018 Through 04-09-2018",

year = "2018",

doi = "10.1007/978-3-030-00244-2\_8",

language = "English",

volume = "11119",

series = "Lecture Notes in Computer Science",

publisher = "Springer International Publishing",

pages = "115--130",

editor = "Falk Howar and Jiri Barnat",

booktitle = "Formal Methods for Industrial Critical Systems",

}

TY - GEN

T1 - Progress Checking for Dummies

AU - Valmari, Antti

AU - Hansen, Henri

N1 - EXT="Valmari, Antti"

PY - 2018

Y1 - 2018

U2 - 10.1007/978-3-030-00244-2_8

DO - 10.1007/978-3-030-00244-2_8

M3 - Conference contribution

VL - 11119

T3 - Lecture Notes in Computer Science

SP - 115

EP - 130

BT - Formal Methods for Industrial Critical Systems

A2 - Howar, Falk

A2 - Barnat, Jiri

PB - Springer International Publishing

T2 - International Workshop on Formal Methods for Industrial Critical Systems

Y2 - 3 September 2018 through 4 September 2018

ER -