Skip to main content
Log in
Log out
Centre for Logic and Philosophy of Science
You are here:
Home
>
research
>
publications
>
Bisimulations for Temporal Logic
Skip to navigation
Paginanavigatie
Home
About us
People
Research
Publications
Doctoral Dissertations
Computer Programs
Talks
Research Projects
Cooperation Projects
Partners
Events
News
Joining the CLPS
Links
Contact
... voor studenten
Bisimulations for Temporal Logic
Title
Bisimulations for Temporal Logic
Publication Type
Journal Article
Authors
Kurtonina, N
,
De Rijke, M
