H. Seidl, S. Maneth, G. Kemper, and J. Engelfriet. Dependable Software Systems Engineering, volume 45 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2016)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Book Section
%1 series/natosec/SeidlMKE16
%A Seidl, Helmut
%A Maneth, Sebastian
%A Kemper, Gregor
%A Engelfriet, Joost
%B Dependable Software Systems Engineering
%D 2016
%E Esparza, Javier
%E Grumberg, Orna
%E Sickert, Salomon
%I IOS Press
%K dblp
%P 202-243
%T Equivalence - Combinatorics, Algebra, Proofs.
%U http://dblp.uni-trier.de/db/series/natosec/natosec45.html#SeidlMKE16
%V 45
%@ 978-1-61499-627-9
@incollection{series/natosec/SeidlMKE16,
added-at = {2016-05-11T00:00:00.000+0200},
author = {Seidl, Helmut and Maneth, Sebastian and Kemper, Gregor and Engelfriet, Joost},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2bda2924b613b1cf4ada10cd20648e130/dblp},
booktitle = {Dependable Software Systems Engineering},
crossref = {series/natosec/45},
editor = {Esparza, Javier and Grumberg, Orna and Sickert, Salomon},
ee = {http://dx.doi.org/10.3233/978-1-61499-627-9-202},
interhash = {6d11ad62cc4efaf5d8974bc1259ad37b},
intrahash = {bda2924b613b1cf4ada10cd20648e130},
isbn = {978-1-61499-627-9},
keywords = {dblp},
pages = {202-243},
publisher = {IOS Press},
series = {NATO Science for Peace and Security Series - D: Information and Communication Security},
timestamp = {2016-05-12T09:32:44.000+0200},
title = {Equivalence - Combinatorics, Algebra, Proofs.},
url = {http://dblp.uni-trier.de/db/series/natosec/natosec45.html#SeidlMKE16},
volume = 45,
year = 2016
}
