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
Conference Proceedings: not found

Automatic discovery of linear restraints among variables of a program

Nicolas Halbwachs, Patrick Cousot (1978)

0 comments Cited 152 times – based on 0 reviews

Bookmark

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
Book Chapter: not found

A Complete Guide to the Future

Frank de Boer, Dave Clarke, Einar Johnsen (2007)

0 comments Cited 38 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2016

Publication date (Online): March 13 2016

Pages: 33-46

DOI: 10.1007/978-3-319-30734-3_5

SO-VID: a4e46c04-9ad0-4b8b-acbb-6737983afb49

License:

http://www.springer.com/tdm

History

Data availability:

Resource Analysis of Distributed Systems

Read this book at

Related collections

Resource Identification

Most cited references 18

Automatic discovery of linear restraints among variables of a program

ABS: A Core Language for Abstract Behavioral Specification

A Complete Guide to the Future

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,971