Tools and Algorithms for the Construction and Analysis of Systems

other

Editor(s): Holger Hermanns , Jens Palsberg

Publication date (Print): 2006

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

ISBN (Print): 978-3-540-33056-1

ISBN (Electronic): 978-3-540-33057-8

Publication date (Print): 2006

DOI: 10.1007/11691372

SO-VID: 13fa1fbe-69d3-4809-9842-3d897b3ce808

License:

http://www.springer.com/tdm

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 4

Slot Games for Detecting Timing Leaks of Programs
Authors: Aleksandar S. Dimovski
Evaluating load balancing policies for performance and energy-efficiency
Authors: Freek van den Berg, Björn F. Postema, Boudewijn R. Haverkort
Modularity and Openness in Modeling Multi-Agent Systems
Authors: Artur Mȩski, Wojciech Jamroga, Maciej Szreter

See all cited by