Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by N. Klarlund
Proving Nondeterministically Specified Safety Properties Using Progress Measures
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Related publications
Proving Safety Properties of Software
Proving Safety Properties of Rewrite Theories
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proving the Safety of SQL Queries
Liquid Metals, Materials and Safety Measures to Progress to CSP 2.0
Pedestrian Safety Evaluation of Signalized Intersections Using Surrogate Safety Measures
Transport
Automotive Engineering
Mechanical Engineering
Formally Specified Monitoring of Temporal Properties
On Proving Syntactic Properties of CPS Programs
BRICS Report Series
Geophysics: Building E5481 Decommissioning, Aberdeen Proving Ground. Interim Progress Report
Proving Acceptability Properties of Relaxed Nondeterministic Approximate Programs
ACM SIGPLAN Notices
Computer Science
