Edmund M. Clarke (clarke-em)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Clarke, Edmund M. and Draghicescu, I. A. 1989. “Expressibility Results for Linear-Time and Branching-Time Logics.” 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. 428–437. Lecture Notes in Computer Science n. 354. Berlin: Springer.
Clarke, Edmund M., Emerson, Allen E. and Sistla, A. P. 1986. “Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications.” ACM Transactions on Programming Languages and Systems 8(2): 244–263.
Clarke, Edmund M., Grumberg, Orna and Peled, Doron A. 1999. Model Checking. Cambridge, Massachusetts: The MIT Press.
Emerson, Allen E. and Clarke, Edmund M. 1982. “Using Branching Time Temporal Logic to Synthesize Temporal Skeletons.” Science of Computer Programming 2(3): 241–266.
Sistla, A. P. and Clarke, Edmund M. 1985. “The Complexity of Propositional Linear Temporal Logics.” Journal of the Association for Computing Machinery 32(3): 733–749.