Tobias Schüle, Klaus Schneider. Global vs. Local Model Checking of Infinite State Systems. In Dominik Stoffel, Wolfgang Kunz, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, February 24-25, 2004. pages 54-64, Shaker, 2004.
Abstract is missing.