Suzuki, K., Higashino, T., Yasumoto, K., & El-Fakih, K. (2020). Formal Techniques for Networked and Distributed Systems – FORTE 2008. Springer Berlin Heidelberg.
Παραπομπή Chicago StyleSuzuki, Kenji, Teruo Higashino, Keiichi Yasumoto, και Khaled El-Fakih. Formal Techniques for Networked and Distributed Systems � FORTE 2008. Springer Berlin Heidelberg, 2020.
Παραπομπή MLASuzuki, Kenji, Teruo Higashino, Keiichi Yasumoto, και Khaled El-Fakih. Formal Techniques for Networked and Distributed Systems � FORTE 2008. Springer Berlin Heidelberg, 2020.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.