P
Initializing...
A damped scalar equation with a decaying forcing envelope in a monotone clock · Prove2Me