Eine Methode zur formalen Modellierung von Betriebssystemkonzepten (1998)

by K Spies