CITATION STYLE
Inverardi, P., Priami, C., & Yankelevich, D. (1993). Extended transition systems for parametric bisimulation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 700 LNCS, pp. 558–569). Springer Verlag. https://doi.org/10.1007/3-540-56939-1_102
Mendeley helps you to discover research relevant for your work.