%0 Conference Paper %1 conf/apsec/RathmairLK16 %A Rathmair, Michael %A Luckeneder, Christoph %A Kaindl, Hermann %B APSEC %D 2016 %E Potanin, Alex %E Murphy, Gail C. %E Reeves, Steve %E Dietrich, Jens %I IEEE Computer Society %K dblp %P 233-240 %T Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination. %U http://dblp.uni-trier.de/db/conf/apsec/apsec2016.html#RathmairLK16 %@ 978-1-5090-5575-3

@inproceedings{conf/apsec/RathmairLK16, added-at = {2018-11-02T00:00:00.000+0100}, author = {Rathmair, Michael and Luckeneder, Christoph and Kaindl, Hermann}, biburl = {https://www.bibsonomy.org/bibtex/2f331bbbe9ddc393e3394aa49a1276065/dblp}, booktitle = {APSEC}, crossref = {conf/apsec/2016}, editor = {Potanin, Alex and Murphy, Gail C. and Reeves, Steve and Dietrich, Jens}, ee = {https://doi.org/10.1109/APSEC.2016.041}, interhash = {256f2385d7e99b2840ad6411a8fec6bb}, intrahash = {f331bbbe9ddc393e3394aa49a1276065}, isbn = {978-1-5090-5575-3}, keywords = {dblp}, pages = {233-240}, publisher = {IEEE Computer Society}, timestamp = {2019-10-17T15:53:06.000+0200}, title = {Minimalist Qualitative Models for Model Checking Cyber-Physical Feature Coordination.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec2016.html#RathmairLK16}, year = 2016 }