Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems

other

Author(s): Aurore Annichini , Eugene Asarin , Ahmed Bouajjani

Publication date (Print): 2000

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

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

Author and book information

Book Chapter

Publication date (Print): 2000

Pages: 419-434

DOI: 10.1007/10722167_32

SO-VID: 081fd13d-935d-4cca-8958-c082b4ba75cf

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 14

TReX: A Tool for Reachability Analysis of Complex Systems
Authors: Aurore Annichini, Ahmed Bouajjani, Mihaela Sighireanu
Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty
Authors: Ron Weiss, GrÉgory Batt, Calin Belta
FAST: acceleration from theory to practice
Authors: Alain Finkel, Sébastien Bardin, Laure Petrucci …

See all cited by