%0 Conference Paper %1 conf/hci/BratMP13 %A Brat, Guillaume %A Martinie, Célia %A Palanque, Philippe A. %B HCI (1) %D 2013 %E Kurosu, Masaaki %I Springer %K dblp %P 290-299 %T V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems through Model Checking of Formal Description of Dialog. %U http://dblp.uni-trier.de/db/conf/hci/hci2013-1.html#BratMP13 %V 8004 %@ 978-3-642-39231-3

@inproceedings{conf/hci/BratMP13, added-at = {2017-05-24T00:00:00.000+0200}, author = {Brat, Guillaume and Martinie, Célia and Palanque, Philippe A.}, biburl = {https://www.bibsonomy.org/bibtex/2801a65ad1043d2cfd352ed3b96486a50/dblp}, booktitle = {HCI (1)}, crossref = {conf/hci/2013-1}, editor = {Kurosu, Masaaki}, ee = {https://doi.org/10.1007/978-3-642-39232-0_33}, interhash = {5c7d196819627202df1671b4a206aa0f}, intrahash = {801a65ad1043d2cfd352ed3b96486a50}, isbn = {978-3-642-39231-3}, keywords = {dblp}, pages = {290-299}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:13:45.000+0200}, title = {V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems through Model Checking of Formal Description of Dialog.}, url = {http://dblp.uni-trier.de/db/conf/hci/hci2013-1.html#BratMP13}, volume = 8004, year = 2013 }