๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 3771 || Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks

โœ Scribed by Romijn, Judi; Smith, Graeme; van de Pol, Jaco


Book ID
121404909
Publisher
Springer Berlin Heidelberg
Year
2005
Weight
936 KB
Category
Article
ISBN
354032240X

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


[Lecture Notes in Computer Science] Form
โœ Bernardo, Marco; Bogliolo, Alessandro ๐Ÿ“‚ Article ๐Ÿ“… 2005 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ German โš– 717 KB

This Book Presents 8 Tutorial Survey Papers By Leading Researchers Who Lectured At The 5th International School On Formal Methods For The Design Of Computer, Communication, And Software Systems, Sfm 2005, Held In Bertinoro, Italy In April 2005. Sfm 2005 Was Devoted To Formal Methods And Tools For Th

[Lecture Notes in Computer Science] Netw
โœ Takizawa, Makoto; Barolli, Leonard; Enokido, Tomoya ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ German โš– 869 KB

This Book Constitutes The Refereed Proceedings Of The Second International Conference On Network-based Information Systems, Nbis 2008, Held In Turin, Italy, September 1-5, 2008 In Conjunction With Dexa 2008. The 32 Revised Full Papers Presented Were Carefully Reviewed And Selected From 81 Submission