Improving Online Railway Deadlock Detection using a Partial Order Reduction
Read publication
Category
Academic article
Language
English
Author(s)
Affiliation
- SINTEF Digital / Mathematics and Cybernetics
Year
2021Published in
Electronic Proceedings in Theoretical Computer Science (EPTCS)
ISSN
2075-2180
Volume
348
Page(s)
110 - 127