Barthe, G. (2020). Formal Methods for Open Object-Based Distributed Systems. Springer Berlin Heidelberg.
Chicago ZitierstilBarthe, Gilles. Formal Methods for Open Object-Based Distributed Systems. Springer Berlin Heidelberg, 2020.
MLA ZitierstilBarthe, Gilles. Formal Methods for Open Object-Based Distributed Systems. Springer Berlin Heidelberg, 2020.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.