%0 Journal Article %1 journals/ijndc/KajtazovicPHK14 %A Kajtazovic, Nermin %A Preschern, Christopher %A Höller, Andrea %A Kreiner, Christian %D 2014 %J Int. J. Networked Distributed Comput. %K dblp %N 3 %P 175-188 %T On Design-time Modelling and Verification of Safety-critical Component-based Systems. %U http://dblp.uni-trier.de/db/journals/ijndc/ijndc2.html#KajtazovicPHK14 %V 2

@article{journals/ijndc/KajtazovicPHK14, added-at = {2020-05-18T00:00:00.000+0200}, author = {Kajtazovic, Nermin and Preschern, Christopher and Höller, Andrea and Kreiner, Christian}, biburl = {https://www.bibsonomy.org/bibtex/2f8fdef807f8c5ec43ee8e522ff0166fc/dblp}, ee = {https://doi.org/10.2991/ijndc.2014.2.3.7}, interhash = {7c1e13d62530ebf840cfd5386c996dd0}, intrahash = {f8fdef807f8c5ec43ee8e522ff0166fc}, journal = {Int. J. Networked Distributed Comput.}, keywords = {dblp}, number = 3, pages = {175-188}, timestamp = {2020-05-19T12:19:05.000+0200}, title = {On Design-time Modelling and Verification of Safety-critical Component-based Systems.}, url = {http://dblp.uni-trier.de/db/journals/ijndc/ijndc2.html#KajtazovicPHK14}, volume = 2, year = 2014 }