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/icse/BohmJVTPR14
%A Böhm, Wolfgang
%A Junker, Maximilian
%A Vogelsang, Andreas
%A Teufl, Sabine
%A Pinger, Ralf
%A Rahn, Karsten
%B SER&IPs
%D 2014
%E Shukla, Rakesh
%E Pasala, Anjaneyulu
%E Padmanabhuni, Srinivas
%I ACM
%K dblp
%P 34-41
%T A formal systems engineering approach in practice: an experience report.
%U http://dblp.uni-trier.de/db/conf/icse/serips2014.html#BohmJVTPR14
%@ 978-1-4503-2859-3
@inproceedings{conf/icse/BohmJVTPR14,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Böhm, Wolfgang and Junker, Maximilian and Vogelsang, Andreas and Teufl, Sabine and Pinger, Ralf and Rahn, Karsten},
biburl = {https://www.bibsonomy.org/bibtex/20e3b8e328d711f2b4fd828fd11ec5d80/dblp},
booktitle = {SER&IPs},
crossref = {conf/icse/2014serips},
editor = {Shukla, Rakesh and Pasala, Anjaneyulu and Padmanabhuni, Srinivas},
ee = {https://doi.org/10.1145/2593850.2593856},
interhash = {56cf42d84a48115f864ab224aaefd322},
intrahash = {0e3b8e328d711f2b4fd828fd11ec5d80},
isbn = {978-1-4503-2859-3},
keywords = {dblp},
pages = {34-41},
publisher = {ACM},
timestamp = {2018-11-07T16:26:20.000+0100},
title = {A formal systems engineering approach in practice: an experience report.},
url = {http://dblp.uni-trier.de/db/conf/icse/serips2014.html#BohmJVTPR14},
year = 2014
}