A Model Checker for Verifying ConGolog Programs

Leila Kalantari, Eugenia Ternovska. A Model Checker for Verifying ConGolog Programs. In AAAI/IAAI. pages 953-954, 2002.

Abstract

Abstract is missing.