%0 Journal Article %1 journals/at/SinhaPMV16 %A Sinha, Roopak %A Pang, Cheng %A Martínez, Gerardo Santillán %A Vyatkin, Valeriy %D 2016 %J Automatisierungstechnik %K dblp %N 3 %P 216-230 %T Automatic test case generation from requirements for industrial cyber-physical systems. %U http://dblp.uni-trier.de/db/journals/at/at64.html#SinhaPMV16 %V 64

@article{journals/at/SinhaPMV16, added-at = {2016-04-28T00:00:00.000+0200}, author = {Sinha, Roopak and Pang, Cheng and Martínez, Gerardo Santillán and Vyatkin, Valeriy}, biburl = {https://www.bibsonomy.org/bibtex/28bd77692ba302e29566f7ed2962f3672/dblp}, ee = {http://www.degruyter.com/view/j/auto.2016.64.issue-3/auto-2015-0075/auto-2015-0075.xml}, interhash = {b5635864213a9d8d16fffe5d8267905b}, intrahash = {8bd77692ba302e29566f7ed2962f3672}, journal = {Automatisierungstechnik}, keywords = {dblp}, number = 3, pages = {216-230}, timestamp = {2016-04-29T11:40:39.000+0200}, title = {Automatic test case generation from requirements for industrial cyber-physical systems.}, url = {http://dblp.uni-trier.de/db/journals/at/at64.html#SinhaPMV16}, volume = 64, year = 2016 }