Bianchi, A., Coluccini, S., Degano, P., & Priami, C. (1995). An efficient verifier of truly concurrent properties (pp. 36–50). https://doi.org/10.1007/3-540-60222-4_95
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.