Jaffar, J., Santosa, A., Voicu, R., & SCIENCE, C. (2013). A CLP proof method for timed automata.
استشهاد بنمط شيكاغوJaffar, J., A. Santosa, R. Voicu, و COMPUTER SCIENCE. A CLP Proof Method for Timed Automata. 2013.
MLA استشهادJaffar, J., A. Santosa, R. Voicu, و COMPUTER SCIENCE. A CLP Proof Method for Timed Automata. 2013.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.