J. Srinivasan (srinivasan-j)

Beiträge zu Philosophie.ch

Bibliography

Emerson, Allen E. and Srinivasan, J. 1989. “Branching Time Temporal Logic.” in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, edited by J. W. de Bakker, W. P. de Roever, and Grzegorz Rozenberg, pp. 123–172. Lecture Notes in Computer Science n. 354. Berlin: Springer.