AVIS 2005 Preliminary Version Parametrized System Verification with Guard Strengthening and Parameter Abstraction Sava Krsti´c - Parameter - Document - PDFSEARCH.IO

First Page	Meta Content
	AVIS 2005 Preliminary Version Parametrized System Verification with Guard Strengthening and Parameter Abstraction Sava Krsti´c Add to Reading List Document Date: 2006-12-15 01:09:48 Open Document File Size: 253,13 KB Share Result on Facebook

AVIS 2005 Preliminary Version Parametrized System Verification with Guard Strengthening and Parameter Abstraction Sava Krsti´cAdd to Reading List