Search for persons
X
?
Proceedings of the 2nd international conference on Software engineering ,
1
Verification of a monitor specification:
, In:
?
Proceedings of the 2nd international conference on Software engineering ,
2
Design and verification of real-time systems:
, In:
?
Proceedings of the international conference on Reliable software ,
4
A structured specification of a hierarchical operating syst..:
, In:
?
Proceedings of the fifth ACM symposium on Operating systems principles ,
5
Error resynchronization in producer-consumer systems:
, In:
?
7
A computer model of transformational grammar
Mathematical linguistics and automatic language processing ; 9
Copies:
Zentrale:Magazin 03.h.8979