Publications
Export 1 results:
Author Title Type [ Year
] Filters: Author is Kurtonina, Natasha and First Letter Of Title is B [Clear All Filters]
. 1997. “Bisimulations For Temporal Logic”. Journal of Logic, Language and Information 6: 403–425.