![](/img/cover-not-exists.png)
Decidability for branching time
John P. BurgessVolume:
39
Year:
1980
Language:
english
Pages:
16
Journal:
Studia Logica
DOI:
10.1007/bf00370320
File:
PDF, 1019 KB
english, 1980