MetadatenAuthor: | Lenz BelznerORCiD, Kyrill Schmid, Thomy Phan, Thomas Gabor, Martin Wirsing |
---|
Language: | English |
---|
Document Type: | Conference Paper |
---|
Conference: | 8th International Symposium (ISoLA 2018), Limassol (Zypern), 05-09. November 2018 |
---|
Year of first Publication: | 2018 |
---|
published in (English): | Leveraging Applications of Formal Methods, Verification and Validation : Distributed Systems : 8th International Symposium, ISoLA 2018; Limassol, Cyprus, November 5–9, 2018; Proceedings, Part III |
---|
Publisher: | Springer |
---|
Place of publication: | Cham |
---|
ISBN: | 978-3-030-03423-8 |
---|
ISBN: | 978-3-030-03424-5 |
---|
First Page: | 241 |
---|
Last Page: | 256 |
---|
Review: | ja |
---|
Open Access: | nein |
---|
Version: | published |
---|
Related Identifier: | https://doi.org/10.1007/978-3-030-03424-5_16 |
---|
Release Date: | 2022/02/28 |
---|