Verification on Infinite Structures

Olaf Burkart, Didier Caucal, Faron Moller, Bernhard Steffen. Verification on Infinite Structures. In Jan A. Bergstra, Alban Ponse, Scott A. Smolka, editors, Handbook of Process Algebra. pages 545-623, North-Holland / Elsevier, 2001. [doi]

Abstract

Abstract is missing.