A loop acceleration technique to speed up verification of automatically generated plans
Robert P. Goldman, Michael J. S. Pelican, David J. MuslinerVolume:
16
Language:
english
DOI:
10.1007/s10009-013-0284-z
Date:
February, 2014
File:
PDF, 933 KB
english, 2014