Reusing information in multi-goal reachability analyses

  • Vollständige Referenz
  • BibTeX
Beyer, D., Holzer, A., Tautschnig, M. & Veith, H., (2014). Reusing information in multi-goal reachability analyses. In: Hasselbring, W. & Ehmke, N. C. (Hrsg.), Software Engineering 2014. Bonn: Gesellschaft für Informatik. (S. 97-98).
@inproceedings{mci/Beyer2014,
author = {Beyer, Dirk AND Holzer, Andreas AND Tautschnig, Michael AND Veith, Helmut},
title = {Reusing information in multi-goal reachability analyses},
booktitle = {Software Engineering 2014},
year = {2014},
editor = {Hasselbring, Wilhelm AND Ehmke, Nils Christian} ,
pages = { 97-98 },
publisher = {Gesellschaft für Informatik},
address = {Bonn}
}
DateienGroesseFormatAnzeige
097.pdf1.435Mb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-388579-621-3
ISSN: 1617-5468
Datum: 2014
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige