A. MacKlem

Publication Activity (10 Years)

Years Active: 2005-2006
Publications (10 Years): 0

Publications

A. MacKlem, Fatma Mili
Formal Verification of Cognitive Models. FLAIRS Conference (2006)
Fatma Mili, A. MacKlem, Sangiv Dungrani, C. Adams
Patterns and conflicts for the specification of cognitive models. IADIS AC (2005)