CITATION STYLE
Liu, Z., Ravn, A. P., & Li, X. (1998). Verifying Duration Properties of Timed Transition Systems. In Programming Concepts and Methods PROCOMET ’98 (pp. 327–345). Springer US. https://doi.org/10.1007/978-0-387-35358-6_22
Mendeley helps you to discover research relevant for your work.