Personensuche
X
?
Proceedings of the Fifth Workshop on Programming Languages and Operating Systems ,
8
Checking process-oriented operating system behaviour using ..:
, In:
?
9
Communicating process architectures 2006: WoTUG-29 : procee..
Concurrent systems engineering series, v. 64