%0 Conference Paper %1 conf/etfa/InamBNS15 %A Inam, Rafia %A Behnam, Moris %A Nolte, Thomas %A Sjödin, Mikael %B ETFA %D 2015 %I IEEE %K dblp %P 1-10 %T Compositional analysis for the Multi-Resource Server. %U http://dblp.uni-trier.de/db/conf/etfa/etfa2015.html#InamBNS15 %@ 978-1-4673-7929-8

@inproceedings{conf/etfa/InamBNS15, added-at = {2015-11-02T00:00:00.000+0100}, author = {Inam, Rafia and Behnam, Moris and Nolte, Thomas and Sjödin, Mikael}, biburl = {https://www.bibsonomy.org/bibtex/2db8b9f1a9becc3a660eb42fdc5fe9528/dblp}, booktitle = {ETFA}, crossref = {conf/etfa/2015}, ee = {http://dx.doi.org/10.1109/ETFA.2015.7301431}, interhash = {4120a8b820a525642986522d2272d6c7}, intrahash = {db8b9f1a9becc3a660eb42fdc5fe9528}, isbn = {978-1-4673-7929-8}, keywords = {dblp}, pages = {1-10}, publisher = {IEEE}, timestamp = {2015-11-04T11:55:04.000+0100}, title = {Compositional analysis for the Multi-Resource Server.}, url = {http://dblp.uni-trier.de/db/conf/etfa/etfa2015.html#InamBNS15}, year = 2015 }