Affordable Access

Automatic Modular Abstractions for Linear Constraints

Authors
Type
Preprint
Publication Date
Submission Date
Identifiers
arXiv ID: 0811.0166
Source
arXiv
External links

Abstract

Statistics

Seen <100 times