e-Article
CONDITIONAL BISIMILARITY FOR REACTIVE SYSTEMS
Document Type
Article
Author
Source
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 2022, 18(1):6:1-6:41)
Subject
Language
English
ISSN
18605974