𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems – FORTE 2008 Volume 5048 || Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets

✍ Scribed by Suzuki, Kenji; Higashino, Teruo; Yasumoto, Keiichi; El-Fakih, Khaled


Book ID
120234425
Publisher
Springer Berlin Heidelberg
Year
2008
Weight
498 KB
Category
Article
ISBN
3540688552

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES