Wróć do szczegółów artykułu
The true bisimulations for 'since' and 'until'
Pobierz
Pobierz PDF