Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
London; Berlin; Heidelberg; New York; Paris; Tokyo; Hong Kong; Barcelona; Budapest: Springer, 1991
Erschienen in:Workshops in computing
Kwiatkowska, Marta Z.
[Herausgeber:in];
Shields, M. W.
[Sonstige Person, Familie und Körperschaft]
;
BritishComputerSocietySpecialistGroupinFormalAspectsofComputingScience,
Semantics for concurrency 1990, Leicester, UK
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
London; Berlin; Heidelberg; New York; Paris; Tokyo; Hong Kong: Springer, 1990
Erschienen in:Workshops in Computing
Rattray, Charles
[Herausgeber:in]
;
BritishComputerSocietySpecialistGroupinFormalAspectsofComputingScience,
Workshop on Specification and Verification of Concurrent Systems 1988 Stirling