Orna Grumberg (grumberg)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Bernholtz, O. and Grumberg, Orna. 1994. “Buy One, Get One Free!!!” 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. 210–224. Lecture Notes in Computer Science n. 827. Berlin: Springer.
Clarke, Edmund M., Grumberg, Orna and Peled, Doron A. 1999. Model Checking. Cambridge, Massachusetts: The MIT Press.
Grumberg, Orna and Kurshan, R. P. 1994. “How Linear Can Branching-Time Be?” 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. 180–194. Lecture Notes in Computer Science n. 827. Berlin: Springer.