Skip to content

State Space Reduction of Linear Processes Using Control Flow Reconstruction.

Jaco van de Pol, Mark Timmer

VenueBATVA
Year2009
ProceedingsATVA

Browse the full ATVA paper archive.