Tampere University of Technology

TUTCRIS Research Portal

Progress Checking for Dummies

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Standard

Progress Checking for Dummies. / Valmari, Antti; Hansen, Henri.

Formal Methods for Industrial Critical Systems. ed. / Falk Howar; Jiri Barnat. Vol. 11119 Springer International Publishing, 2018. p. 115-130 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Harvard

Valmari, A & Hansen, H 2018, Progress Checking for Dummies. in F Howar & J Barnat (eds), Formal Methods for Industrial Critical Systems. vol. 11119, Lecture Notes in Computer Science, Springer International Publishing, pp. 115-130, International Workshop on Formal Methods for Industrial Critical Systems, 3/09/18. https://doi.org/10.1007/978-3-030-00244-2_8

APA

Valmari, A., & Hansen, H. (2018). Progress Checking for Dummies. In F. Howar, & J. Barnat (Eds.), Formal Methods for Industrial Critical Systems (Vol. 11119, pp. 115-130). (Lecture Notes in Computer Science). Springer International Publishing. https://doi.org/10.1007/978-3-030-00244-2_8

Vancouver

Valmari A, Hansen H. Progress Checking for Dummies. In Howar F, Barnat J, editors, Formal Methods for Industrial Critical Systems. Vol. 11119. Springer International Publishing. 2018. p. 115-130. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-030-00244-2_8

Author

Valmari, Antti ; Hansen, Henri. / Progress Checking for Dummies. Formal Methods for Industrial Critical Systems. editor / Falk Howar ; Jiri Barnat. Vol. 11119 Springer International Publishing, 2018. pp. 115-130 (Lecture Notes in Computer Science).

Bibtex - Download

@inproceedings{5913aa4733bb40d89223ab8ac461620b,
title = "Progress Checking for Dummies",
author = "Antti Valmari and Henri Hansen",
note = "EXT={"}Valmari, Antti{"}",
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",

}

RIS (suitable for import to EndNote) - Download

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

ER -