FAST: Fast Acceleration of Symbolic Transition Systems

Publisher Website

1 January 2003

book chapter
Published by Springer Nature

p. 118-121
https://doi.org/10.1007/978-3-540-45069-6_12

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

How to Compose Presburger-Accelerations: Applications to Broadcast Protocols
Published by Springer Nature ,2002