DMCA

Veri cation of Hybrid Controlled Processing Systems based on Decomposition and Deduction

Cached

Download Links

by Goran Frehse , Olaf Stursberg , Sebastian Engell , Ralf Huuck , Ben Lukoschus