
Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1055)
Included in the following conference series:
- TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Conference proceedings info: TACAS 1996.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The book presents 19 revised full papers selected from a total of 47 submissions together with 11 tool presentations and 3 invited papers. The collection of papers addresses all current aspects of the design and analysis of distributed systems; the volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs.
Similar content being viewed by others
Keywords
Table of contents (33 papers)
Other volumes
-
Tools and Algorithms for the Construction and Analysis of Systems
Bibliographic Information
Book Title: Tools and Algorithms for the Construction and Analysis of Systems
Book Subtitle: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.
Editors: Tiziana Margaria, Bernhard Steffen
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-61042-1
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1996
Softcover ISBN: 978-3-540-61042-7Published: 20 March 1996
eBook ISBN: 978-3-540-49874-2Published: 30 June 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 443
Topics: Theory of Computation, Operating Systems, Logics and Meanings of Programs, Software Engineering, Computer Communication Networks