Formal Techniques for Distributed Objects, Components, and Systems
Book title Buchtitel
Formal Techniques for Distributed Objects, Components, and Systems
Publisher Herausgeber
Springer
Series Schriftenreihe
Lecture Notes in Computer Science