Doron A. Peled (peled-da)
Contributions à Philosophie.ch
No contributions yet
Bibliography
Clarke, Edmund M., Grumberg, Orna and Peled, Doron A. 1999. Model Checking. Cambridge, Massachusetts: The MIT Press.
Katz, Stéphanie and Peled, Doron A. 1989. “An Efficient Verification Method for Parallel and Distributed Programs.” 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. 489–507. Lecture Notes in Computer Science n. 354. Berlin: Springer.
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.