Moller, F., Chilton, C., Kwiatkowska, M., & Wang, X. (2016). A Specification Theory of Real-Time Processes. Concurrency, Security, and Puzzles, 10160, pp. 18-38. doi:10.1007/978-3-319-51046-0_2
Chicago Style CitationMoller, Faron, Chris Chilton, Marta Kwiatkowska, and Xu Wang. "A Specification Theory of Real-Time Processes." Concurrency, Security, and Puzzles 10160 (2016): 18-38.
MLA CitationMoller, Faron, Chris Chilton, Marta Kwiatkowska, and Xu Wang. "A Specification Theory of Real-Time Processes." Concurrency, Security, and Puzzles 10160 (2016): 18-38.
Warning: These citations may not always be 100% accurate.