Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alastair Donaldson
Symmetry in Temporal Logic Model Checking
ACM Computing Surveys
Computer Science
Theoretical Computer Science
Related publications
Exploiting Symmetry in Temporal Logic Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Cryptographic Protocols With Interval Temporal Logic
Journal of Convergence Information Technology
Temporal Logic Query Checking: A Tool for Model Exploration
IEEE Transactions on Software Engineering
Software
Verifying Communicating Agents by Model Checking in a Temporal Action Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On-Line Model-Checking for Finite Linear Temporal Logic Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symmetry Reduction in CSP Model Checking
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Temporal Logic Model Checking: Two Techniques for Avoiding the State Explosion Problem
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
System Reduction Based on Symmetry in Game Model Checking
DEStech Transactions on Computer Science and Engineering
