@inproceedings{conf/maude/ClavelDELMMT07p,
	title = {A Sampler of Application Areas.},
	author = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
	booktitle = {All About Maude},
	crossref = {conf/maude/2007},
	editor = {Manuel Clavel and Francisco Durán and Steven Eker and Patrick Lincoln and Narciso Martí-Oliet and José Meseguer and Carolyn L. Talcott},
	pages = {645-665},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/maude/maude2007.html#ClavelDELMMT07p},
	volume = {4350},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2fcc2edbc2c348a37ee4f8e63e54bd480/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/978-3-540-71999-1_20}, isbn = {978-3-540-71940-3}, date = {2008-01-08},
	keywords = {dblp }
}