Retrenchment: Extending Refinement for Continuous and Control Systems (2000)

Cached

Download Links

by M.R. Poppleton , R.H. Banach
Citations:11 - 11 self