Browse by Author or creator
Jump to: 2023
Number of items: 1.
2023
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
This list was generated on Wed Dec 18 23:58:38 2024 GMT.