Gast ::
| 001 | 854106 | ||
| 005 | 20221201151627.0 | ||
| 024 | 7 | _ | |2 ISSN |a 0302-9743 |
| 024 | 7 | _ | |2 ISSN |a 1611-3349 |
| 024 | 7 | _ | |2 SCOPUS |a SCOPUS:2-s2.0-85137991911 |
| 024 | 7 | _ | |2 doi |a 10.1007/978-3-031-15008-1_9 |
| 024 | 7 | _ | |2 ISBN |a 978-3-031-15007-4 |
| 024 | 7 | _ | |2 ISBN |a 978-3-031-15008-1 |
| 024 | 7 | _ | |2 ISBN |a 978-3-031-15009-8 |
| 024 | 7 | _ | |2 WOS |a WOS:000876873100009 |
| 037 | _ | _ | |a RWTH-2022-09319 |
| 041 | _ | _ | |a English |
| 100 | 1 | _ | |0 P:(DE-82)IDM03441 |a Berger, Philipp |b 0 |u rwth |
| 111 | 2 | _ | |a 27. International Conference Formal Methods for Industrial Critical Systems |c Warsaw |d 2022-09-14 - 2022-09-15 |g FMICS 2022 |w Poland |
| 245 | _ | _ | |a Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining |h online, print |
| 260 | _ | _ | |a Cham |b Springer |c 2022 |
| 295 | 1 | 0 | |a 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 |
| 300 | _ | _ | |a 121-133 |
| 336 | 7 | _ | |0 33 |2 EndNote |a Conference Paper |
| 336 | 7 | _ | |0 PUB:(DE-HGF)7 |2 PUB:(DE-HGF) |a Contribution to a book |m contb |
| 336 | 7 | _ | |0 PUB:(DE-HGF)8 |2 PUB:(DE-HGF) |a Contribution to a conference proceedings |b contrib |m contrib |
| 336 | 7 | _ | |2 BibTeX |a INPROCEEDINGS |
| 336 | 7 | _ | |2 DRIVER |a conferenceObject |
| 336 | 7 | _ | |2 DataCite |a Output Types/Conference Paper |
| 336 | 7 | _ | |2 ORCID |a CONFERENCE_PAPER |
| 490 | 0 | _ | |a Lecture notes in computer science |v 13487 |
| 588 | _ | _ | |a Dataset connected to CrossRef Book Series, Journals: publications.rwth-aachen.de |
| 591 | _ | _ | |a Germany |
| 700 | 1 | _ | |0 P:(DE-82)IDM01856 |a Lenze, Wiebke |b 1 |u rwth |
| 700 | 1 | _ | |0 P:(DE-82)IDM01580 |a Noll, Thomas |b 2 |e Corresponding author |u rwth |
| 700 | 1 | _ | |a Schotten, Simon |b 3 |
| 700 | 1 | _ | |a Büker, Thorsten |b 4 |
| 700 | 1 | _ | |a Fietze, Mario |b 5 |
| 700 | 1 | _ | |0 P:(DE-82)IDM01898 |a Kogel, Bastian |b 6 |u rwth |
| 909 | C | O | |o oai:publications.rwth-aachen.de:854106 |p VDB |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM03441 |a RWTH Aachen |b 0 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM01856 |a RWTH Aachen |b 1 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM01580 |a RWTH Aachen |b 2 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM01898 |a RWTH Aachen |b 6 |k RWTH |
| 914 | 1 | _ | |y 2022 |
| 915 | 1 | _ | |0 StatID:(DE-HGF)0031 |2 StatID |a Peer reviewed article |x 0 |
| 915 | _ | _ | |0 StatID:(DE-HGF)0200 |2 StatID |a DBCoverage |b SCOPUS |d 2020-08-25 |
| 915 | _ | _ | |0 StatID:(DE-HGF)0420 |2 StatID |a Nationallizenz |d 2020-08-25 |w ger |
| 920 | 1 | _ | |0 I:(DE-82)121310_20140620 |k 121310 |l Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) |x 0 |
| 920 | 1 | _ | |0 I:(DE-82)120000_20140620 |k 120000 |l Fachgruppe Informatik |x 1 |
| 920 | 1 | _ | |0 I:(DE-82)313110_20140620 |k 313110 |l Lehrstuhl für Schienenbahnwesen und Verkehrswirtschaft und Verkehrswissenschaftliches Institut |x 2 |
| 980 | _ | _ | |a I:(DE-82)120000_20140620 |
| 980 | _ | _ | |a I:(DE-82)121310_20140620 |
| 980 | _ | _ | |a I:(DE-82)313110_20140620 |
| 980 | _ | _ | |a UNRESTRICTED |
| 980 | _ | _ | |a VDB |
| 980 | _ | _ | |a contb |
| 980 | _ | _ | |a contrib |
| Library | Collection | CLSMajor | CLSMinor | Language | Author |
|---|