Reusing information in multi-goal reachability analyses

  • Citation
  • 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 View/Open

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

More Info

ISBN: 978-388579-621-3
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2014
Language: en (en)
Content Type: Text/Conference Paper
Collections

Show full item record