A SIMULATION ALGORITHM FOR MULTIENVIRONMENT PROBABILISTIC P SYSTEMS: A FORMAL VERIFICATION
MARTÍNEZ-DEL-AMOR, M. A., PÉREZ-HURTADO, I., PÉREZ-JIMÉNEZ, M. J., RISCOS-NÚÑEZ, A., SANCHO-CAPARRINI, F.Volume:
22
Language:
english
Journal:
International Journal of Foundations of Computer Science
DOI:
10.1142/S0129054111007873
Date:
January, 2011
File:
PDF, 188 KB
english, 2011