Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/006792909/catalog> ?p ?o. }

• catalog abstract ""This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '95, held in Aarhus, Denmark, in May 1995. The workshop brought together 46 researchers interested in the development and application of tools and algorithms for specification, verification, analysis, and construction of distributed systems. The papers included in the book are devoted to refinement-based and compositional verification, construction techniques, analysis and verification via theorem proving, process algebras, temporal and modal logics, techniques for real-time, hybrid and probabilistic systems, and value-passing systems."--PUBLISHER'S WEBSITE.".
• catalog contributor b9432677.
• catalog contributor b9432678.
• catalog contributor b9432679.
• catalog contributor b9432680.
• catalog contributor b9432681.
• catalog created "c1995.".
• catalog date "1995".
• catalog date "c1995.".
• catalog dateCopyrighted "c1995.".
• catalog description ""This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '95, held in Aarhus, Denmark, in May 1995. The workshop brought together 46 researchers interested in the development and application of tools and algorithms for specification, verification, analysis, and construction of distributed systems. The papers included in the book are devoted to refinement-based and compositional verification, construction techniques, analysis and verification via theorem proving, process algebras, temporal and modal logics, techniques for real-time, hybrid and probabilistic systems, and value-passing systems."--PUBLISHER'S WEBSITE.".
• catalog description "Combining model checking and deduction for I/O-automata / O. Müller and T. Nipkow -- A constraint oriented proof methodology based on modal transition systems / K.G. Larsen, B. Steffen and C. Weise -- A user guide to HYTECH / T.H. Henzinger, P.-H. Ho and H. Wong-Toi -- Modal [mu]-calculus, model checking and Gauss elimination / A. Mader -- MONA : Monadic second-order logic in practice / J.G. Henriksen [and others] -- Efficient simplification of bisimulation formulas / U.H. Engberg and K.S. Larsen -- Hierarchical compression for model-checking CSP or how to check 10²⁰ dining philosophers for deadlock / A.W. Roscoe [and others] -- A front-end generator for verification tools / R. Cleaveland, E. Madelaine and S. Sims -- Analytic and locally approximate solutions to properties of probabilistic processes / C. Tofts -- Model checking of non-finite state processes by finite approximations / N. De Francesco [and others] -- On automatic and interactive design of communicating systems / J. Bohn and S. Rössig -- Layers as knowledge transitions in the design of distributed systems / W. Janssen -- Parallelism for free : bitvector analyses -> no state explosion! / K. Knoop, B. Steffen and J. Vollmer.".
• catalog description "Includes bibliographical references and index.".
• catalog extent "289 p. :".
• catalog hasFormat "Tools and Algorithms for the Construction and Analysis of Systems.".
• catalog identifier "3540606300 (Berlin : acid-free paper)".
• catalog isFormatOf "Tools and Algorithms for the Construction and Analysis of Systems.".
• catalog isPartOf "Lecture notes in computer science ; 1019".
• catalog issued "1995".
• catalog issued "c1995.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog relation "Tools and Algorithms for the Construction and Analysis of Systems.".
• catalog subject "005.2 20".
• catalog subject "Computer software Development Congresses.".
• catalog subject "Electronic data processing Distributed processing Congresses.".
• catalog subject "QA76.9.S88 T66 1995".
• catalog subject "System design Congresses.".
• catalog tableOfContents "Combining model checking and deduction for I/O-automata / O. Müller and T. Nipkow -- A constraint oriented proof methodology based on modal transition systems / K.G. Larsen, B. Steffen and C. Weise -- A user guide to HYTECH / T.H. Henzinger, P.-H. Ho and H. Wong-Toi -- Modal [mu]-calculus, model checking and Gauss elimination / A. Mader -- MONA : Monadic second-order logic in practice / J.G. Henriksen [and others] -- Efficient simplification of bisimulation formulas / U.H. Engberg and K.S. Larsen -- Hierarchical compression for model-checking CSP or how to check 10²⁰ dining philosophers for deadlock / A.W. Roscoe [and others] -- A front-end generator for verification tools / R. Cleaveland, E. Madelaine and S. Sims -- Analytic and locally approximate solutions to properties of probabilistic processes / C. Tofts -- Model checking of non-finite state processes by finite approximations / N. De Francesco [and others] -- On automatic and interactive design of communicating systems / J. Bohn and S. Rössig -- Layers as knowledge transitions in the design of distributed systems / W. Janssen -- Parallelism for free : bitvector analyses -> no state explosion! / K. Knoop, B. Steffen and J. Vollmer.".
• catalog title "Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS "95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma ... [et al.], (eds.).".
• catalog type "Conference proceedings. fast".
• catalog type "text".