Article citationsMore>>

M. Penicka, “Formal Approach to Railway Applications,” Formal Methods and Hy-brid Real Time Systems, Lecture Notes in Computer Science, Springer, Vol. 4700, 2007, pp. 504-520. doi:10.1007/978-3-540-75221-9_24

has been cited by the following article:

SCIRP Newsletter
Copyright © 2006-2026 Scientific Research Publishing Inc. All Rights Reserved.
Top