Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by K. Yorav
Specifying and Verifying Systems With Multiple Clocks
Related publications
Modelling, Specifying and Verifying Self-Adaptive Systems Instantiating MAPE Patterns
International Journal of Computer Applications in Technology
Electronic Engineering
Industrial
Computer Networks
Manufacturing Engineering
Communications
Computer Science Applications
Electrical
Information Systems
Software
Specifying and Dynamically Verifying Address Translation-Aware Memory Consistency
ACM SIGARCH Computer Architecture News
Specifying and Verifying Partial Order Properties Using Template MSCs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
FreeSpec: Specifying, Verifying, and Executing Impure Computations in Coq
Multiple Observations of Quantum Clocks
Physical Review A
Detecting Global Predicates in Distributed Systems With Clocks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Systems Biology of Mammalian Circadian Clocks
Annual Review of Physiology
Physiology
Resetting Vector Clocks in Distributed Systems
Journal of Parallel and Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Theoretical Computer Science
Artificial Intelligence
Software
Relativity Theory and Time Perception: Single or Multiple Clocks?
PLoS ONE
Multidisciplinary
