Skip to search formSkip to main contentSkip to account menu

Subsequent Trial Activity

Known as: NEXT 
An indication or description of the next trial activity.
National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
Structural Simulation Proofs based on ASMs even for Non-Terminating Programs
When transforming programs, one often has the requirement to preserve their semantics, as e.g. in compilers. To guarantee that… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)