Export: Modeling Concurrent Systems with Shared Resources

Herranz Nieva, Ángel and Mariño Carballo, Julio and Carro Liñares, Manuel and Moreno Navarro, Juan José (2009). Modeling Concurrent Systems with Shared Resources. In: "14th International Workshop on Formal Methods for Industrial Critical Systems", 02/11/2009 - 03/11/2009, Eindhoven, Holanda. ISBN 978-3-642-04570-7.

Please select an output format:

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM