@article {287,
	title = {Verification of non deterministic transition P systems solving SAT problem },
	journal = {First Brainstorming Week on Membrane Computing},
	year = {2003},
	month = {February 5-11},
	pages = {291-304},
	address = {Tarragona, Spain},
	attachments = {http://www.gcn.us.es/biblio/themes/modules/files/Verification of Non Detrministic Transition P systems solving SAT problems.pdf},
	author = {Fernando Sancho-Caparrini and Mario J. P{\'e}rez-Jim{\'e}nez},
	editor = {Matteo Cavaliere and Carlos Mart{\'\i}n-Vide and Gheorghe Paun}
}
