Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by N. A. Harman
Algebraic Models and the Correctness of Microprocessors
Related publications
Correctness-Preserving Configuration of Business Process Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Correctness of Markov Models With Discrete States and Continuous Time
Izvestiâ vysših učebnyh zavedenij. Priborostroenie
Urn Models and Differential Algebraic Equations
Journal of Applied Probability
Mathematics
Statistics
Uncertainty
Probability
General Correctness: A Unification of Partial and Total Correctness
Acta Informatica
Computer Networks
Software
Information Systems
Communications
About Algebraic Program Models With Procedures
Automatic Control and Computer Sciences
Control
Systems Engineering
Signal Processing
Software
A Stochastic Extension of the Explicit Algebraic Subgrid-Scale Models
Physics of Fluids
Mechanics of Materials
Condensed Matter Physics
Mechanical Engineering
Fluid Flow
Transfer Processes
Computational Mechanics
Programming Dedicated Microprocessors
The Explicit Algebraic Reynolds Stress Models for Turbulent Flows
Mechanical Engineering Research
The Correctness of Type Specialisation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
