Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Villapol, María Elena

Statistics Math-Net.Ru
Total publications: 1
Scientific articles: 1

Number of views:
This page:51
Abstract pages:221
Full texts:60
References:37

https://www.mathnet.ru/eng/person141169
List of publications on Google Scholar
List of publications on ZentralBlatt

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  mathnet  elib 3
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024