Showing 1 - 20 results of 73 for search 'Worksop~', query time: 4.06s Refine Results
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11

    Rooted branching bisimulation as a congruence for probabilistic transition systems by Lee, Matías David, de Vink, Erik P.

    Published 2022
    “…Ponencia presentada en el 13 International Workshop on Quantitative Aspects of Programming Languages and Systems. …”
    Get full text
    conferenceObject
  12. 12
  13. 13
  14. 14
  15. 15
  16. 16
  17. 17

    A Tool for GIXRF/XRR simulation and data analysis by Vakula, N. I., Leani, Juan José, Migliori, A., Bogovac, M., Padilla Alvarez, R., Kaiser, R. B., Karydas, A. G.

    Published 2021
    “…Ponencia presentada en el Monte Carlo Simulation Tools for X-Ray Imaging and Fluorescence Workshop, 2014…”
    Get full text
    conferenceObject
  18. 18
  19. 19
  20. 20