Browse by ISBN
Number of items: 1.
Turkenburg, Ruben and Kupke, Clemens and Rot, Jurriaan and Schoen, Ezra; Kupferman, Orna and Sobocinski, Pawel, eds. (2023) Preservation and reflection of bisimilarity via invertible steps. In: Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science . Springer, FRA, pp. 328-348. ISBN 9783031308291