"Behavioral and Temporal Rule Checking for Gaussian Random Process - a ..."

Doron Drusinsky (2013)

Details and statistics

DOI: 10.3217/JUCS-019-15-2198

access: open

type: Journal Article

metadata version: 2021-02-17