@article {537,
	title = {Formal verification of programs in molecular models with random access memory},
	journal = {Recent results in Natural Computing},
	year = {2005},
	pages = {205-229},
	publisher = {F{\'e}nix Editora},
	address = {Sevilla, Spain},
	url = {http://www.cs.us.es/~marper/investigacion/recent-2.pdf},
	attachments = {http://www.gcn.us.es/biblio/files/gallerix/themes/sites/modules/files/recent-2.pdf},
	author = {Mario J. P{\'e}rez-Jim{\'e}nez and Fernando Sancho-Caparrini},
	editor = {Mario J. P{\'e}rez-Jim{\'e}nez and {\'A}lvaro Romero-Jim{\'e}nez and Fernando Sancho-Caparrini}
}
