CITATION STYLE
Pastor, E., Peña, M. A., & Solé, M. (2005). TRANSYT: A tool for the verification of asynchronous concurrent systems. In Lecture Notes in Computer Science (Vol. 3576, pp. 424–428). Springer Verlag. https://doi.org/10.1007/11513988_42
Mendeley helps you to discover research relevant for your work.