Model Checking Jason Programs
Year: 2010
Type: dissertation
Author: Steen Vester
Institution: Technical University of Denmark
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2161273296