Home News About Us Contact Contributors Disclaimer Help FAQ

Home
Search
Quick Search
Advanced
Fulltext
Browse
Collections
Persons
My eDoc
Session History
Login
Name:
Password:
Documentation
Help
Support Wiki
Direct access to
document ID:


          Display Documents


Institute:
Collection:
Print in Citation style Print version     Display:
Sort by:
 Basket 
A New Combinatorial Approach to Parametric Path Analysis
Authors: Althaus, Ernst; Altmeyer, Sebastian; Naujoks, Rouven
Place of Publication: Saarbrücken
Publisher: AVACS
Date of Publication (YYYY-MM-DD): 2010
Title of (Report) Series: Technical Report / Sonderforschungsbereich/Transregio 14 AVACS (Automatic Verification and Analysis of Complex Systems)
Document Type: Report
ID: 536763.0
The scope and number of records on eDoc is subject to the collection policies defined by each institute - see "info" button in the collection browse view.