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

Most cited references 18

Record: found
Abstract: not found
Book Chapter: not found

ABS: A Core Language for Abstract Behavioral Specification

Einar Johnsen, Reiner Hähnle, Jan Schäfer … (2012)

0 comments Cited 43 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Mechanical program analysis

Ben Wegbreit (1975)

0 comments Cited 29 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Parameterized object sensitivity for points-to analysis for Java

Atanas Rountev, Barbara G. Ryder, Ana Milanova (2005)

0 comments Cited 22 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2015

Publication date (Online): September 2 2015

Pages: 275-292

DOI: 10.1007/978-3-662-48288-9_16

SO-VID: 7bc79a98-2ecc-497f-9d1b-3fd28242b12e

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 1

Resource Analysis of Distributed Systems
Authors: Elvira Albert, Jesús Correas, Guillermo Román-Díez

See all cited by

Parallel Cost Analysis of Distributed Systems

Read this book at

Related collections

MoRePaS 2018 - Model Reduction of Parametrized Systems IV

Most cited references 18

ABS: A Core Language for Abstract Behavioral Specification

Mechanical program analysis

Parameterized object sensitivity for points-to analysis for Java

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,748

Cited by 1