%0 Conference Paper %1 conf/fmco/CunninghamDDFMS07 %A Cunningham, Dave %A Dietl, Werner %A Drossopoulou, Sophia %A Francalanza, Adrian %A Müller, Peter %A Summers, Alexander J. %B FMCO %D 2007 %E de Boer, Frank S. %E Bonsangue, Marcello M. %E Graf, Susanne %E de Roever, Willem P. %I Springer %K dblp %P 72-112 %T Universe Types for Topology and Encapsulation. %U http://dblp.uni-trier.de/db/conf/fmco/fmco2007.html#CunninghamDDFMS07 %V 5382 %@ 978-3-540-92187-5

@inproceedings{conf/fmco/CunninghamDDFMS07, added-at = {2021-04-09T00:00:00.000+0200}, author = {Cunningham, Dave and Dietl, Werner and Drossopoulou, Sophia and Francalanza, Adrian and Müller, Peter and Summers, Alexander J.}, biburl = {https://www.bibsonomy.org/bibtex/2005576ba56deed6020c65383040ac6fa/dblp}, booktitle = {FMCO}, crossref = {conf/fmco/2007}, editor = {de Boer, Frank S. and Bonsangue, Marcello M. and Graf, Susanne and de Roever, Willem P.}, ee = {https://doi.org/10.1007/978-3-540-92188-2_4}, interhash = {91f68986c92565209035c13c7e0dc7f3}, intrahash = {005576ba56deed6020c65383040ac6fa}, isbn = {978-3-540-92187-5}, keywords = {dblp}, pages = {72-112}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T13:13:28.000+0200}, title = {Universe Types for Topology and Encapsulation.}, url = {http://dblp.uni-trier.de/db/conf/fmco/fmco2007.html#CunninghamDDFMS07}, volume = 5382, year = 2007 }