CITATION STYLE
Verhulst, E., Boute, R. T., Faria, J. M. S., Sputh, B. H. C., & Mezhuyev, V. (2011). The Choice of TLA+/TLC: Comparing Formal Methods. In Formal Development of a Network-Centric RTOS (pp. 45–72). Springer US. https://doi.org/10.1007/978-1-4419-9736-4_3
Mendeley helps you to discover research relevant for your work.