CITATION STYLE
Madelaine, E., & Vergamini, D. (1992). Verification of communicating processes by means of automata reduction and abstraction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 577 LNCS, pp. 613–614). Springer Verlag. https://doi.org/10.1007/3-540-55210-3_221
Mendeley helps you to discover research relevant for your work.