%0 Conference Paper %1 conf/emsoft/AlfaroH01 %A de Alfaro, Luca %A Henzinger, Thomas A. %B EMSOFT %D 2001 %E Henzinger, Thomas A. %E Kirsch, Christoph M. %I Springer %K interface theories %P 148-165 %T Interface Theories for Component-Based Design. %U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2001.html#AlfaroH01 %V 2211 %@ 3-540-42673-6

@inproceedings{conf/emsoft/AlfaroH01, added-at = {2012-01-16T20:08:53.000+0100}, author = {de Alfaro, Luca and Henzinger, Thomas A.}, biburl = {https://www.bibsonomy.org/bibtex/26e57edbcb48dcdce9d2b004d26e4082d/alessandropinto}, booktitle = {EMSOFT}, crossref = {conf/emsoft/2001}, editor = {Henzinger, Thomas A. and Kirsch, Christoph M.}, ee = {http://dx.doi.org/10.1007/3-540-45449-7_11}, interhash = {927d6f14e2f5ed136371f37b5f5fc638}, intrahash = {6e57edbcb48dcdce9d2b004d26e4082d}, isbn = {3-540-42673-6}, keywords = {interface theories}, pages = {148-165}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2012-01-16T20:08:53.000+0100}, title = {Interface Theories for Component-Based Design.}, url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2001.html#AlfaroH01}, volume = 2211, year = 2001 }