Period
1991 - 2007
Number
2
Co-Authors
ANOTHER FORMAL SPECIFICATION LANGUAGE PROEFSCHRIFT (2007)
Cover Karen Saaman, Erik Harald Saaman, Prof. Dr. P. Klint, Beoordelingscommissie Prof. Dr, P. D. Mosses, ...
op gezag van de
Specifying asynchronous transfer of control (1991)
Krishnan, P., Mosses, P.D.
TR-COSC 06/91