Bisimulations for Temporal Logic

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