RailCNL

swMATH21507MaRDI QIDQ33314FDOQ33314

Author name not available (Why is that?)

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

Cited In (3)

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

This page was built for software: RailCNL