Interval-based resource usage verification: Formalization and prototype
- Lopez-Garcia, P.
- Darmawan, L.
- Bueno, F.
- Hermenegildo, M.
ISSN: 0302-9743, 1611-3349
ISBN: 9783642324949
Year of publication: 2012
Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Revised Selected Papers
Volume: 7177 LNCS
Pages: 54-71
Type: Conference paper