A. MacKlem

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page