Showing 1 - 2 results of 2 for search 'Olderog, E.-R', query time: 0.01s Refine Results
  1. 1
    Nets, terms, and formulas :

    Nets, terms, and formulas : by Olderog, E.-R

    Published 1991
    Book
    Save to List
    Saved in:
  2. 2
    Verification of sequential and concurrent programs

    Verification of sequential and concurrent programs by Apt, Krzysztof R. 1949-

    Published 1991
    Other Authors: “…Olderog, E.-R…”
    Book
    Save to List
    Saved in:

Search Tools: