Bjørnar Luteberget, Koen Claessen, Christian Johansen, Martin Steffen. SAT modulo discrete event simulation applied to railway design capacity analysis. Formal Methods in System Design, 57(2):211-245, 2021. [doi]
@article{LutebergetCJS21,
title = {SAT modulo discrete event simulation applied to railway design capacity analysis},
author = {Bjørnar Luteberget and Koen Claessen and Christian Johansen and Martin Steffen},
year = {2021},
doi = {10.1007/s10703-021-00368-2},
url = {https://doi.org/10.1007/s10703-021-00368-2},
researchr = {https://researchr.org/publication/LutebergetCJS21},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {57},
number = {2},
pages = {211-245},
}