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

Most cited references 1

Record: found
Abstract: not found
Book Chapter: not found

How to Compose Presburger-Accelerations: Applications to Broadcast Protocols

Alain Finkel, Jérôme Leroux (2002)

0 comments Cited 35 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2003

Pages: 118-121

DOI: 10.1007/978-3-540-45069-6_12

SO-VID: 69d84932-9d1e-4b91-b1ff-2a6d9e4bf628

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 16

See all cited by

FAST: Fast Acceleration of Symbolic Transition Systems

Read this book at