Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by N. E. Pierce
Specifications for the Model 42 Snow Mixer
Related publications
A Formal Model of Identity Mixer
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Synthesis From Imprecise Specifications
Model Checking RAISE Applicative Specifications
Model Checking Large Software Specifications
ACM SIGSOFT Software Engineering Notes
Albedo Model for Shallow Prairie Snow Covers
Canadian Journal of Earth Sciences
Earth
Planetary Sciences
Model Checking Value-Passing Modal Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications
Advances in Software Engineering
Empirical Model for Snow/Ground Reflectivity Prediction
The McKibbin-Sachs Global Model: Theory and Specifications
