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

ISBN (Print): 978-3-642-05088-6

ISBN (Electronic): 978-3-642-05089-3

Publication date (Print): 2009

DOI: 10.1007/978-3-642-05089-3

SO-VID: ae14cecf-a588-4dc4-872d-2813763ca681

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 2

Formalization of Automated Trading Systems in a Concurrent Linear Framework
Authors: Iliano Cervesato, Sharjeel Khan, Giselle Reis …
Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection
Authors: Mohamed Abid, Osman Hasan, Maissa Elleuch …

See all cited by

FM 2009: Formal Methods

Read this book at