APA引文

Lin, S., Hsiung, P., & LABORATORIES, T. (2014). Compositional synthesis of concurrent systems through causal model checking and learning.

Chicago Style Citation

Lin, S.-W., P.-A Hsiung, and TEMASEK LABORATORIES. Compositional Synthesis of Concurrent Systems Through Causal Model Checking and Learning. 2014.

MLA引文

Lin, S.-W., P.-A Hsiung, and TEMASEK LABORATORIES. Compositional Synthesis of Concurrent Systems Through Causal Model Checking and Learning. 2014.