Showing 1 - 2 results of 2 for search 'Reniers, M. A. 1970-', query time: 0.04s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    A new equivalence for processes with timing

    A new equivalence for processes with timing by Baeten, Josephus C. M., Middelburg, Cornelis A., Reniers, M. A. 1970-

    Published 2002
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Process algebra equational theories of communicating processes

    Process algebra equational theories of communicating processes by Baeten, Josephus C. M., Basten, Twan 1969-, Reniers, M. A. 1970-

    Published 2010
    Indexes
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: