Information Reuse for Multi-goal Reachability Analyses

First Author: Beyer D
Attributed to:  Verification of Shared-Memory Concurrent Software funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-37036-6_26

Publication URI: http://dx.doi.org/10.1007/978-3-642-37036-6_26

Type: Book Chapter

Book Title: Programming Languages and Systems (2013)

Page Reference: 472-491

ISBN: 978-3-642-37035-9

ISSN: 1080-5370