APA Citation

Jaffar, J., Santosa, A., Voicu, R., & SCIENCE, C. (2013). A CLP proof method for timed automata.

Chicago Style Citation

Jaffar, J., A. Santosa, R. Voicu, and COMPUTER SCIENCE. A CLP Proof Method for Timed Automata. 2013.

MLA Citation

Jaffar, J., A. Santosa, R. Voicu, and COMPUTER SCIENCE. A CLP Proof Method for Timed Automata. 2013.

Warning: These citations may not always be 100% accurate.