%0 Conference Paper %1 conf/dsvis/PaternoS00 %A Paternò, Fabio %A Santoro, Carmen %B DSV-IS %D 2000 %E Palanque, Philippe A. %E Paternò, Fabio %I Springer %K dblp %P 135-150 %T Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties. %U http://dblp.uni-trier.de/db/conf/dsvis/dsvis2000.html#PaternoS00 %V 1946 %@ 3-540-41663-3

@inproceedings{conf/dsvis/PaternoS00, added-at = {2017-02-08T00:00:00.000+0100}, author = {Paternò, Fabio and Santoro, Carmen}, biburl = {https://www.bibsonomy.org/bibtex/27b9e3527e62dd5caa196e80934289f00/dblp}, booktitle = {DSV-IS}, crossref = {conf/dsvis/2000}, editor = {Palanque, Philippe A. and Paternò, Fabio}, ee = {http://dx.doi.org/10.1007/3-540-44675-3_9}, interhash = {00a5fafb2b36c95045c154fba8ee5c7f}, intrahash = {7b9e3527e62dd5caa196e80934289f00}, isbn = {3-540-41663-3}, keywords = {dblp}, pages = {135-150}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-02-09T11:44:40.000+0100}, title = {Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties.}, url = {http://dblp.uni-trier.de/db/conf/dsvis/dsvis2000.html#PaternoS00}, volume = 1946, year = 2000 }