Article citationsMore>>

Bel Mokadem, H., Berard, B., Gourcu, V., De Smet, O. and Roussel, J.-M. (2010) Verification of a Timed Multitask System with UPPAAL. IEEE Transactions on Automation Science and Engineering, 7, 921-932.
http://dx.doi.org/10.1109/TASE.2010.2050199

has been cited by the following article: