W. Penczek (penczek-w)
Beiträge zu Philosophie.ch
No contributions yet
Bibliography
Kwiatkowska, M., Peled, Doron A. and Penczek, W. 1994. “A Hierarchy of Partial Order Temporal Properties.” in Temporal Logic, First International Conference ICTL’94, Bonn, Germany, July 11–14, 1994, edited by Dov M. Gabbay and Hans Jürgen Ohlbach, pp. 398–414. Lecture Notes in Computer Science n. 827. Berlin: Springer.