On Checking Correctness of Some Classes of Control Systems.

N. P. Redkin

Browse the full FCT paper archive.