ITEC -  Operating Systems Group

Abstrakte Modelle zur Untersuchung von sicheren Systemen

  • Author:

    H. vor der Brück

  • Source:

    Computing 19, 1977, 15-28

  • Date: 1977