Citations refer to the original publication, not to a Scieee localized version.
Aman, B., & Ciobanu, G. (2016). Verifying P Systems with Costs by Using Priced-Timed Maude. Fénix. https://idus.us.es/items/f6e3ab8c-3f07-45ae-915b-387486ce5160
Aman, Bogdan, and Gabriel Ciobanu. Verifying P Systems with Costs by Using Priced-Timed Maude. Fénix, 2016. https://idus.us.es/items/f6e3ab8c-3f07-45ae-915b-387486ce5160.
Aman, Bogdan, and Gabriel Ciobanu. Verifying P Systems with Costs by Using Priced-Timed Maude. Fénix, 2016. https://idus.us.es/items/f6e3ab8c-3f07-45ae-915b-387486ce5160.
Aman, B. and Ciobanu, G. (2016) Verifying P Systems with Costs by Using Priced-Timed Maude. Fénix. Available at: https://idus.us.es/items/f6e3ab8c-3f07-45ae-915b-387486ce5160.
B. Aman and G. Ciobanu, “Verifying P Systems with Costs by Using Priced-Timed Maude,” Fénix, 2016. [Online]. Available: https://idus.us.es/items/f6e3ab8c-3f07-45ae-915b-387486ce5160
@misc{aman2016verifying,
author = {Aman, Bogdan and Ciobanu, Gabriel},
title = {Verifying P Systems with Costs by Using Priced-Timed Maude},
year = {2016},
publisher = {Fénix},
url = {https://idus.us.es/items/f6e3ab8c-3f07-45ae-915b-387486ce5160}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.