Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/diagrams/Barker-PlummerELMS08
%A Barker-Plummer, Dave
%A Etchemendy, John
%A Liu, Albert
%A Murray, Michael D.
%A Swoboda, Nik
%B Diagrams
%D 2008
%E Stapleton, Gem
%E Howse, John
%E Lee, John
%I Springer
%K dblp
%P 347-349
%T Openproof - A Flexible Framework for Heterogeneous Reasoning.
%U http://dblp.uni-trier.de/db/conf/diagrams/diagrams2008.html#Barker-PlummerELMS08
%V 5223
%@ 978-3-540-87729-5
@inproceedings{conf/diagrams/Barker-PlummerELMS08,
added-at = {2017-05-26T00:00:00.000+0200},
author = {Barker-Plummer, Dave and Etchemendy, John and Liu, Albert and Murray, Michael D. and Swoboda, Nik},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2bd4a72b78c8c1d7580878e334a5d2038/dblp},
booktitle = {Diagrams},
crossref = {conf/diagrams/2008},
editor = {Stapleton, Gem and Howse, John and Lee, John},
ee = {https://doi.org/10.1007/978-3-540-87730-1_32},
interhash = {ff0a876535f706600568f3467ee10652},
intrahash = {bd4a72b78c8c1d7580878e334a5d2038},
isbn = {978-3-540-87729-5},
keywords = {dblp},
pages = {347-349},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-09-27T12:41:53.000+0200},
title = {Openproof - A Flexible Framework for Heterogeneous Reasoning.},
url = {http://dblp.uni-trier.de/db/conf/diagrams/diagrams2008.html#Barker-PlummerELMS08},
volume = 5223,
year = 2008
}