You can manage bookmarks using lists, please log in to your user account for this.
London; Berlin; Heidelberg; New York; Paris; Tokyo; Hong Kong; Barcelona; Budapest: Springer, 1991
Published in:Workshops in computing
Kwiatkowska, Marta Z.
[Editor];
Shields, M. W.
[Other]
;
BritishComputerSocietySpecialistGroupinFormalAspectsofComputingScience,
Semantics for concurrency 1990, Leicester, UK
You can manage bookmarks using lists, please log in to your user account for this.
London; Berlin; Heidelberg; New York; Paris; Tokyo; Hong Kong: Springer, 1990
Published in:Workshops in Computing
Rattray, Charles
[Editor]
;
BritishComputerSocietySpecialistGroupinFormalAspectsofComputingScience,
Workshop on Specification and Verification of Concurrent Systems 1988 Stirling