Dieky Adzkiya, Alessandro Abate
      Modeling of railway networks using timed automata
      Applied Mathematical Sciences, Vol. 10, 2016, no. 49, 2429-2436
      http://dx.doi.org/10.12988/ams.2016.65208
Copyright © 2015 Dieky Adzkiya and Alessandro Abate. This article is distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.