Nothing Special   »   [go: up one dir, main page]

Logo des Repositoriums
 
Konferenzbeitrag

Reliability analysis in symbolic pathfinder: A brief summary

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2014

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik

Zusammenfassung

Beschreibung

Filieri, Antonio; Păsăreanu; Visser, Willem (2014): Reliability analysis in symbolic pathfinder: A brief summary. Software Engineering 2014. Bonn: Gesellschaft für Informatik. PISSN: 1617-5468. ISBN: 978-388579-621-3. pp. 39-40. Regular Research Papers. Kiel. 25. Februar-28. Februar 2014

Schlagwörter

Zitierform

DOI

Tags