Mader, A. and Wupper, H. (1999) Timed Automaton Models for Simple Programmable Logic Controllers. Proceedings of the 11th Euromicro Conference on Real-Time Systems, York, 9-11 June 1999, 106-113. http://dx.doi.org/10.1109/emrts.1999.777456
has been cited by the following article:
Related Articles: