book-chapter · 2010Live Heap Space Bounds for Real-Time Systems12 citationsDOI: https://doi.org/10.1007/978-3-642-17164-2_20Open access