S. Graf (graf-s)

Beiträge zu Philosophie.ch

Bibliography

Bouajjani, A., Graf, S. and Sifakis, J. 1989. “A Logic for the Description of Behaviours and Properties of Concurrent Systems.” 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. 398–410. Lecture Notes in Computer Science n. 354. Berlin: Springer.