RailCNL

MaRDI QIDQ33314swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-319-66197-1_6

Cited in

(3)

• SAT modulo discrete event simulation applied to railway design capacity analysis
• IJIT
• Software engineering and formal methods. 15th international conference, SEFM 2017, Trento, Italy, September 4--8, 2017. Proceedings

This page was built for software: RailCNL