Carlos Luna

	2008
3		Ariel Gonzalez, Carlos Luna: Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities. SCCC 2008: 32-41
2		Juan Manuel Crespo, Gustavo Betarte, Carlos Luna: A Framework for the Analysis of Access Control Models for Interactive Mobile Devices. TYPES 2008: 49-63
	2006
1		Santiago Zanella Béguelin, Gustavo Betarte, Carlos Luna: A Formal Specification of the MIDP 2.0 Security Model. Formal Aspects in Security and Trust 2006: 220-234

Coauthor Index

1	Santiago Zanella Béguelin	[1]
2	Gustavo Betarte	[1] [2]
3	Juan Manuel Crespo	[2]
4	Ariel Gonzalez	[3]

Colors in the list of coauthors