Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michael D. Fisher
Fair SMG and Linear Time Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Real-Time Model Checking on Secondary Storage
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Real-Time Model Checking Is Really Simple
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Expressiveness and Complexity in Real-Time Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Branching-Time Model Checking Gap-Order Constraint Systems
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Real Time Java Using Java PathFinder
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
