%0 Journal Article %1 journals/fac/HaxthausenF23 %A Haxthausen, Anne Elisabeth %A Fantechi, Alessandro %D 2023 %J Formal Aspects Comput. %K dblp %N 1 %P 4:1-4:46 %T Compositional Verification of Railway Interlocking Systems. %U http://dblp.uni-trier.de/db/journals/fac/fac35.html#HaxthausenF23 %V 35

@article{journals/fac/HaxthausenF23, added-at = {2023-06-26T00:00:00.000+0200}, author = {Haxthausen, Anne Elisabeth and Fantechi, Alessandro}, biburl = {https://www.bibsonomy.org/bibtex/21a920d9df2af9ed613834ea9f1974fd4/dblp}, ee = {https://doi.org/10.1145/3549736}, interhash = {9b20c9ccce0008370e83b291c1c3fcfa}, intrahash = {1a920d9df2af9ed613834ea9f1974fd4}, journal = {Formal Aspects Comput.}, keywords = {dblp}, month = {March}, number = 1, pages = {4:1-4:46}, timestamp = {2024-04-09T05:38:09.000+0200}, title = {Compositional Verification of Railway Interlocking Systems.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac35.html#HaxthausenF23}, volume = 35, year = 2023 }