@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",
}