• search hit 44 of 403
Back to Result List

Precise and efficient parametric path analysis

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Ernst Althaus, Sebastian AltmeyerORCiDGND, Rouven Naujoks
URN:urn:nbn:de:bvb:384-opus4-698751
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/69875
ISBN:9781450305556OPAC
Parent Title (English):Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems - LCTES '11, April 2011, Chicago, IL, USA
Publisher:ACM Press
Place of publication:New York, NY
Editor:Jan Vitek, Bjorn De Sutter
Type:Part of a Book
Language:English
Year of first Publication:2011
Publishing Institution:Universität Augsburg
Release Date:2020/02/04
First Page:141
Last Page:150
DOI:https://doi.org/10.1145/1967677.1967697
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Systemnahe Informatik und Kommunikationssysteme
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Embedded Systems
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):License LogoDeutsches Urheberrecht