dblp.uni-trier.dewww.uni-trier.de

A. MacKlem

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
2 A. MacKlem, Fatma Mili: Formal Verification of Cognitive Models. FLAIRS Conference 2006: 420-425
2005
1 Fatma Mili, A. MacKlem, Sangiv Dungrani, C. Adams: Patterns and conflicts for the specification of cognitive models. IADIS AC 2005: 393-400

Coauthor Index

1C. Adams [1]
2Sangiv Dungrani [1]
3Fatma Mili [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)