%0 Conference Proceedings %1 conf/dsvis/2008 %B DSV-IS %D 2008 %E Graham, T. C. Nicholas %E Palanque, Philippe A. %I Springer %K dblp %T Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers %U http://dblp.uni-trier.de/db/conf/dsvis/dsvis2008.html %V 5136 %@ 978-3-540-70568-0

@proceedings{conf/dsvis/2008, added-at = {2019-05-14T00:00:00.000+0200}, biburl = {https://www.bibsonomy.org/bibtex/20a4b972f00e09c241f4e7d509e991201/dblp}, booktitle = {DSV-IS}, editor = {Graham, T. C. Nicholas and Palanque, Philippe A.}, ee = {https://doi.org/10.1007/978-3-540-70569-7}, interhash = {87b29d7ac9a51e0fc02c0fb5181d0ebe}, intrahash = {0a4b972f00e09c241f4e7d509e991201}, isbn = {978-3-540-70568-0}, keywords = {dblp}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T11:21:32.000+0200}, title = {Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers}, url = {http://dblp.uni-trier.de/db/conf/dsvis/dsvis2008.html}, volume = 5136, year = 2008 }