Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by George Michael
Verification Techniques for Distributed Algorithms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Distributed Data Mining Systems: Techniques, Approaches and Algorithms
MATEC Web of Conferences
Materials Science
Engineering
Chemistry
Verification Techniques for LOTOS
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Development of Distributed Enumeration Algorithms by Refinement-Based Techniques
DiVinE – A Tool for Distributed Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Verification Techniques for Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Integrating Distributed Algorithms Into Distributed Systems
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Meta-Models Combination for Reusing Verification Techniques
Decomposition Optimization Algorithms for Distributed Radar Systems
IEEE Transactions on Signal Processing
Electronic Engineering
Signal Processing
Electrical
Automated Techniques for Higher-Order Program Verification
Progress in Informatics
