%0 Conference Paper %1 conf/ecmdafa/JurjensMOS11 %A Jürjens, Jan %A Marchal, Loïc %A Ochoa, Martín %A Schmidt, Holger %B ECMFA %D 2011 %E France, Robert B. %E Küster, Jochen Malte %E Bordbar, Behzad %E Paige, Richard F. %I Springer %K dblp %P 52-68 %T Incremental Security Verification for Evolving UMLsec models. %U http://dblp.uni-trier.de/db/conf/ecmdafa/ecmfa2011.html#JurjensMOS11 %V 6698 %@ 978-3-642-21469-1

@inproceedings{conf/ecmdafa/JurjensMOS11, added-at = {2018-11-02T00:00:00.000+0100}, author = {Jürjens, Jan and Marchal, Loïc and Ochoa, Martín and Schmidt, Holger}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29e693f79689e06d680b9b930f2c78546/dblp}, booktitle = {ECMFA}, crossref = {conf/ecmdafa/2011}, editor = {France, Robert B. and Küster, Jochen Malte and Bordbar, Behzad and Paige, Richard F.}, ee = {https://doi.org/10.1007/978-3-642-21470-7_5}, interhash = {91f666a5eba1b23927f49d99488811c1}, intrahash = {9e693f79689e06d680b9b930f2c78546}, isbn = {978-3-642-21469-1}, keywords = {dblp}, pages = {52-68}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T18:48:11.000+0200}, title = {Incremental Security Verification for Evolving UMLsec models.}, url = {http://dblp.uni-trier.de/db/conf/ecmdafa/ecmfa2011.html#JurjensMOS11}, volume = 6698, year = 2011 }