Publications

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