Kotowski, Niklas
15  results:
Search for persons X
?
1

Acceleration Techniques for Symbolic Simulation of Railway ..:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,
 
1-15