Contributions to Collections
back
From Testing to Theorem Proving
Authors
Timm, I. J.
Scholz, T.
Fürstenau, H.
Meta information
[BibTeX]
Year: 2006, Reviewed
Kirn, P. D. S. and Herzog, P. D. O. and Lockemann, P. D. P. and Spaniol, P. D. O. (Editors)
In: Multiagent Engineering
Subtitle: Theory and Applications in Enterprises
Series: International Handbooks on Information Systems
Publisher: Springer, Berlin Heidelberg
Pages: 531-554
ISBN: 978-3-540-31406-6, eISBN: 978-3-540-32062-3
DOI:
10.1007/3-540-32062-8_25
Timm, I. J.; Scholz, T.; Fürstenau, H.
From Testing to Theorem Proving
In: Kirn, P. D. S.; Herzog, P. D. O.; Lockemann, P. D. P.; Spaniol, P. D. O. (eds.): Multiagent Engineering. Springer, Berlin Heidelberg. 2006, pp. 531-554
(Workgroup:
TZI
)
BibTeX
Close
@incollection{Tim06k, author = {Timm, I. J. and Scholz, T. and F{\"u}rstenau, H.}, title = {From Testing to Theorem Proving}, publisher = {Springer}, year = {2006}, booktitle = {Multiagent Engineering}, editor = {Kirn, P. D. S. and Herzog, P. D. O. and Lockemann, P. D. P. and Spaniol, P. D. O.}, doi = {10.1007/3-540-32062-8_25}, pages = {531-554} }
Download as .bib
