Bisimulations for Temporal Logic (1997)

by Natasha Kurtonina , Maarten de Rijke
Venue:JOURNAL OF LOGIC, LANGUAGE AND INFORMATION
Citations:18 - 2 self