Authors Search About

Kalantari, Leila

1 publications

AAAI 2002 A Model Checker for Verifying ConGolog Programs Leila Kalantari, Eugenia Ternovska

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy