%0 Conference Paper %1 journals/corr/VinarekH16 %A Vinárek, Jirí %A Hnetynka, Petr %B FESCA@ETAPS %D 2016 %E Kofron, Jan %E Tumova, Jana %E Buhnova, Bara %K dblp %P 59-68 %T Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs205.html#VinarekH16 %V 205

@inproceedings{journals/corr/VinarekH16, added-at = {2018-09-12T00:00:00.000+0200}, author = {Vinárek, Jirí and Hnetynka, Petr}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2677c103220833e3b7fa3e9b281b5c5e5/dblp}, booktitle = {FESCA@ETAPS}, crossref = {journals/corr/KofronTB16}, editor = {Kofron, Jan and Tumova, Jana and Buhnova, Bara}, ee = {http://arxiv.org/abs/1603.08636}, interhash = {91d60996026081c498694cff710345e8}, intrahash = {677c103220833e3b7fa3e9b281b5c5e5}, keywords = {dblp}, pages = {59-68}, series = {EPTCS}, timestamp = {2019-09-27T12:28:49.000+0200}, title = {Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs205.html#VinarekH16}, volume = 205, year = 2016 }