%0 Conference Paper %1 conf/mbmv/DevarajegowdaEK19 %A Devarajegowda, Keerthikumara %A Ecker, Wolfgang %A Kunz, Wolfgang %B MBMV %D 2019 %I VDE Verlag %K dblp %P 1-6 %T How to Keep 4-Eyes Principle in a Design and Property Generation Flow. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2019.html#DevarajegowdaEK19 %@ 978-3-8007-4945-4

@inproceedings{conf/mbmv/DevarajegowdaEK19, added-at = {2019-07-11T00:00:00.000+0200}, author = {Devarajegowda, Keerthikumara and Ecker, Wolfgang and Kunz, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/22142cbfb726365d8a35fe41f0901f164/dblp}, booktitle = {MBMV}, crossref = {conf/mbmv/2019}, ee = {https://ieeexplore.ieee.org/document/8727160/}, interhash = {2a0ffe752dcd6f4377cb5f3e0d5f72fa}, intrahash = {2142cbfb726365d8a35fe41f0901f164}, isbn = {978-3-8007-4945-4}, keywords = {dblp}, pages = {1-6}, publisher = {VDE Verlag}, timestamp = {2019-07-12T11:41:31.000+0200}, title = {How to Keep 4-Eyes Principle in a Design and Property Generation Flow.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2019.html#DevarajegowdaEK19}, year = 2019 }