External Links

    Journal: Journal of Logic and Computation

    Volume 12, Issue 4

    549 -- 560Michael Balser, Christoph Duelli, Wolfgang Reif, Gerhard Schellhorn. Verifying Concurrent Systems with Symbolic Execution
    561 -- 581Alexander Bolotov, Michael Fisher, Clare Dixon. On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms
    583 -- 606Bernhard Heinemann. Linear Tense Logics of Increasing Sets
    607 -- 621David N. Jansen, Roel Wieringa. Extending CTL with Actions and Real Time
    623 -- 639Martin Lange, Colin Stirling. Model Checking Games for Branching Time Logics
    641 -- 677Angelo Montanari, Adriano Peron, Alberto Policriti. Extending Kamp s Theorem to Model Time Granularity
    679 -- 697Mark Reynolds. Axioms for Branching Time
    runs on