Reliability analysis in Symbolic Pathfinder: a brief summary
File(s)2014-se.pdf (23.73 KB)
Accepted version
Author(s)
Filieri, A
Pasareanu, CS
Visser, W
Type
Conference Paper
Date Issued
2014-02-25
Date Acceptance
2014-02-25
Citation
Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 2014, 227, pp.39-40
ISBN
978-388579-621-3
ISSN
1617-5468
Publisher
Gesellschaft für Informatik e.V.
Start Page
39
End Page
40
Journal / Book Title
Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik
Volume
227
Copyright Statement
© Gesellschaft für Informatik e.V. 2014
Source
Software Engineering 2014
Start Date
2014-02-25
Finish Date
2014-02-28
Coverage Spatial
Kiel, Germany