Ciprian Dragomir

	2010
2		Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ciprian Dragomir: An Integrated Approach to P Systems Formal Verification. Int. Conf. on Membrane Computing 2010: 226-239
	2009
1		Marian Gheorghe, Florentin Ipate, Ciprian Dragomir: Formal Verification and Testing Based on P Systems. Workshop on Membrane Computing 2009: 54-65

Coauthor Index

1	Marian Gheorghe	[1] [2]
2	Florentin Ipate	[1] [2]
3	Raluca Lefticaru	[2]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page