• Deutsch
Login

Open Access

  • Home
  • Search
  • Browse
  • Publish/report a document
  • Help

A new combinatorial approach to parametric path analysis

Ernst Althaus, Sebastian Altmeyer, Rouven Naujoks

    Export metadata

    • BibTeX
    • RIS

    Statistics

    Number of document requests

    Additional Services

    Share in Twitter Search Google Scholar
    Metadaten
    Author:Ernst Althaus, Sebastian AltmeyerGND, Rouven Naujoks
    Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/70249
    URL:http://www.avacs.org/Publikationen/Open/avacs_technical_report_058.pdf
    Publisher:AVACS - Automatic Verification and Analysis of Complex Systems
    Type:Report
    Language:English
    Year of first Publication:2010
    Release Date:2020/02/12
    Pagenumber:33
    Series:Reports of SFB/TR 14 AVACS ; 58
    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

    OPUS4 Logo

    • Contact
    • Imprint
    • Sitelinks