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/ftscs/GrunerKM15
%A Gruner, Stefan
%A Kumar, Apurva
%A Maibaum, Tom
%B FTSCS
%D 2015
%E Artho, Cyrille
%E Ölveczky, Peter Csaba
%I Springer
%K dblp
%P 87-102
%T Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge.
%U http://dblp.uni-trier.de/db/conf/ftscs/ftscs2015.html#GrunerKM15
%V 596
%@ 978-3-319-29509-1
@inproceedings{conf/ftscs/GrunerKM15,
added-at = {2016-02-05T00:00:00.000+0100},
author = {Gruner, Stefan and Kumar, Apurva and Maibaum, Tom},
biburl = {https://www.bibsonomy.org/bibtex/296bcf94e02354e228ff99191b1ec5822/dblp},
booktitle = {FTSCS},
crossref = {conf/ftscs/2015},
editor = {Artho, Cyrille and Ölveczky, Peter Csaba},
ee = {http://dx.doi.org/10.1007/978-3-319-29510-7_5},
interhash = {ee2d2b4fc851546f6c4d50a55b25e3b2},
intrahash = {96bcf94e02354e228ff99191b1ec5822},
isbn = {978-3-319-29509-1},
keywords = {dblp},
pages = {87-102},
publisher = {Springer},
series = {Communications in Computer and Information Science},
timestamp = {2016-02-06T11:51:42.000+0100},
title = {Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge.},
url = {http://dblp.uni-trier.de/db/conf/ftscs/ftscs2015.html#GrunerKM15},
volume = 596,
year = 2015
}