2009): State Space Reduction of Linear Processes using Control Flow Reconstruction (0)

by J van de Pol, M Timmer
Venue:In: Proc. of the 7th Int. Symp. on Automated Technology for Verification and Analysis (ATVA), LNCS 5799