% IMPORTANT: The following is UTF-8 encoded. This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.
@INPROCEEDINGS{Berger:854106,
author = {Berger, Philipp and Lenze, Wiebke and Noll, Thomas and
Schotten, Simon and Büker, Thorsten and Fietze, Mario and
Kogel, Bastian},
title = {{A}nalysing {C}apacity {B}ottlenecks in {R}ail
{I}nfrastructure by {E}pisode {M}ining},
volume = {13487},
address = {Cham},
publisher = {Springer},
reportid = {RWTH-2022-09319},
series = {Lecture notes in computer science},
pages = {121-133},
year = {2022},
comment = {Formal Methods for Industrial Critical Systems : 27th
International Conference, FMICS 2022, Warsaw, Poland,
September 14–15, 2022, Proceedings / edited by Jan Friso
Groote, Marieke Huisman},
booktitle = {Formal Methods for Industrial Critical
Systems : 27th International
Conference, FMICS 2022, Warsaw, Poland,
September 14–15, 2022, Proceedings /
edited by Jan Friso Groote, Marieke
Huisman},
month = {Sep},
date = {2022-09-14},
organization = {27. International Conference Formal
Methods for Industrial Critical
Systems, Warsaw (Poland), 14 Sep 2022 -
15 Sep 2022},
cin = {121310 / 120000 / 313110},
cid = {$I:(DE-82)121310_20140620$ / $I:(DE-82)120000_20140620$ /
$I:(DE-82)313110_20140620$},
typ = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
UT = {WOS:000876873100009},
doi = {10.1007/978-3-031-15008-1_9},
url = {https://publications.rwth-aachen.de/record/854106},
}
guest ::