%0 Conference Paper %1 conf/ecce/WortelenLJS14 %A Wortelen, Bertram %A Lüdtke, Andreas %A Javaux, Denis %A Sievi, Sonja %B ECCE %D 2014 %E Stary, Christian %I ACM %K %P 20: 1-20: 4 %T Experiences from Using Formal Verification Techniques to Analyze Human-Machine Interaction: A Case Study. %U http://dblp.uni-trier.de/db/conf/ecce/ecce2014.html#WortelenLJS14 %@ 978-1-4503-2874-6

@inproceedings{conf/ecce/WortelenLJS14, added-at = {2023-12-13T07:22:26.000+0100}, author = {Wortelen, Bertram and Lüdtke, Andreas and Javaux, Denis and Sievi, Sonja}, biburl = {https://www.bibsonomy.org/bibtex/2bacc6660d6e25833ac571b70091c5aef/admin}, booktitle = {ECCE}, crossref = {conf/ecce/2014}, editor = {Stary, Christian}, ee = {https://doi.org/10.1145/2637248.2637272}, interhash = {b83a4c5607cacc0bb4d0013d5d42e636}, intrahash = {bacc6660d6e25833ac571b70091c5aef}, isbn = {978-1-4503-2874-6}, keywords = {}, pages = {20: 1-20: 4}, publisher = {ACM}, timestamp = {2023-12-13T07:22:26.000+0100}, title = {Experiences from Using Formal Verification Techniques to Analyze Human-Machine Interaction: A Case Study.}, url = {http://dblp.uni-trier.de/db/conf/ecce/ecce2014.html#WortelenLJS14}, year = 2014 }