External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal verification of DEVS simulation: web search engine model case study

Alonso Inostrosa-Psijas, Veronica Gil Costa, Gabriel Andrés Wainer, Mauricio Marín. Formal verification of DEVS simulation: web search engine model case study. In Floriano De Rango, José Luis Risco-Martín, editors, Proceedings of the Summer Computer Simulation Conference, SummerSim 2016, Montreal, QC, Canada, July 24 - 27, 2016. pages 18, ACM, 2016. [doi]

Authors

Alonso Inostrosa-Psijas

This author has not been identified. Look up 'Alonso Inostrosa-Psijas' in Google

Veronica Gil Costa

This author has not been identified. Look up 'Veronica Gil Costa' in Google

Gabriel A. Wainer

Identified as Gabriel Andrés Wainer

Mauricio Marín

This author has not been identified. Look up 'Mauricio Marín' in Google
runs on