Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
28
views
13
references
Top references
cited by
11
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,614
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Tools and Algorithms for the Construction and Analysis of Systems
Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
other
Author(s):
Mayank Saksena
,
Oskar Wibling
,
Bengt Jonsson
Publication date
(Print):
2008
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Reviews of mathematical modeling in cancer
Most cited references
13
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Ad-hoc on-demand distance vector routing
C.E. Perkins
,
E.M. Royer
(1999)
0
comments
Cited
308
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
The model checker SPIN
G.J. Holzmann
(1997)
0
comments
Cited
226
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
A performance comparison of multi-hop wireless ad hoc network routing protocols
Josh Broch
,
David A. Maltz
,
David Johnson
…
(1998)
0
comments
Cited
104
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Pages
: 18-32
DOI:
10.1007/978-3-540-78800-3_3
SO-VID:
4291c853-cfd8-4703-b7b2-919e0a507e00
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 2
Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
pp. 33
Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems
pp. 93
Computing Simulations over Tree Automata
pp. 18
Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
pp. 315
On Verifying Fault Tolerance of Distributed Protocols
pp. 428
Accelerating Interpolation-Based Model-Checking
pp. 63
Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking
pp. 78
On-the-Fly Techniques for Game-Based Software Model Checking
pp. 173
On Automated Verification of Probabilistic Programs
pp. 265
On Local Reasoning in Verification
pp. 282
Interprocedural Analysis of Concurrent Programs Under a Context Bound
pp. 299
Context-Bounded Analysis of Concurrent Queue Systems
pp. 337
Z3: An Efficient SMT Solver
pp. 346
GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic
pp. 351
RWset: Attacking Path Explosion in Constraint-Based Test Generation
pp. 367
Demand-Driven Compositional Symbolic Execution
pp. 382
Peephole Partial Order Reduction
pp. 397
Efficient Interpolant Generation in Satisfiability Modulo Theories
pp. 413
Quantified Invariant Generation Using an Interpolating Saturation Prover
pp. 443
Automatically Refining Abstract Interpretations
pp. 486
Rocket-Fast Proof Checking for SMT Solvers
Similar content
4,614
A Functionalist Approach to Grammar and Its Evolution
Authors:
Joan L. Bybee
,
Bybee
A Manual of English Grammar with Copious Exercises
Authors:
Parsing Social Network Survey Data from Hidden Populations Using Stochastic Context-Free Grammars
Authors:
Art Poon
,
Kimberly C Brouwer
,
Steffanie A Strathdee
…
See all similar
Cited by
11
Parameterized Verification of Ad Hoc Networks
Authors:
Giorgio Delzanno
,
Arnaud Sangnier
,
Gianluigi Zavattaro
On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks
Authors:
Giorgio Delzanno
,
Arnaud Sangnier
,
Gianluigi Zavattaro
On the Verification of Timed Ad Hoc Networks
Authors:
Parosh Aziz Abdulla
,
Giorgio Delzanno
,
Othmane Rezine
…
See all cited by