Journal of Logic, Language and Information

TitleBisimulations for Temporal Logic
Publication TypeJournal Article
AuthorsKurtonina, N, De Rijke, M