@inproceedings{b4047f6e085844c080d6cde68ae0e7b8,
title = "Constraint-based Verification of Compositions in Safety-critical Component-based Systems",
author = "Nermin Kajtazovic and Christopher Preschern and Andrea H{\"o}ller and Kreiner, {Christian Josef}",
year = "2014",
language = "English",
pages = "113--130",
booktitle = "Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Studies in Computational Intelligence Volume 569, 2015, pp 113-130",
publisher = ".",
note = "IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing ; Conference date: 30-06-2014 Through 02-07-2014",
}