Carmen Pardavila

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2003

2 Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael Wooldridge: Model checking agentspeak. AAMAS 2003: 409-416

1 Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge: Model Checking Multi-Agent Programs with CASP. CAV 2003: 110-113

	2003
2		Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael Wooldridge: Model checking agentspeak. AAMAS 2003: 409-416
1		Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge: Model Checking Multi-Agent Programs with CASP. CAV 2003: 110-113

Coauthor Index

1	Rafael H. Bordini	[1] [2]
2	Michael Fisher	[1] [2]
3	Willem Visser	[1]
4	Michael Wooldridge (Michael J. Wooldridge)	[1] [2]