Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Morales, Ana https://www.mathnet.ru/eng/person141168 List of publications on Google Scholar Publications in Math-Net.Ru Citations 2018 1. J. C. Carrasquel, A. Morales, M. E. Villapol, “Prosega/CPN: an extension of CPN Tools for automata-based analysis and system verification”, Proceedings of ISP RAS, 30:4 (2018),  107–128     3 Organisations Central University of Venezuela