%0 Conference Paper %1 conf/rise/BertolinoMP06 %A Bertolino, Antonia %A Muccini, Henry %A Polini, Andrea %B RISE %D 2006 %E Guelfi, Nicolas %E Buchs, Didier %I Springer %K dblp %P 98-113 %T Architectural Verification of Black-Box Component-Based Systems. %U http://dblp.uni-trier.de/db/conf/rise/rise2006.html#BertolinoMP06 %V 4401 %@ 978-3-540-71875-8

@inproceedings{conf/rise/BertolinoMP06, added-at = {2024-02-05T00:00:00.000+0100}, author = {Bertolino, Antonia and Muccini, Henry and Polini, Andrea}, biburl = {https://www.bibsonomy.org/bibtex/2e4d759bfef78cf8c54b7866a04d3efd3/dblp}, booktitle = {RISE}, crossref = {conf/rise/2006}, editor = {Guelfi, Nicolas and Buchs, Didier}, ee = {https://doi.org/10.1007/978-3-540-71876-5_7}, interhash = {5333c3f4a6990262be1a335aa93f520f}, intrahash = {e4d759bfef78cf8c54b7866a04d3efd3}, isbn = {978-3-540-71875-8}, keywords = {dblp}, pages = {98-113}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T21:11:44.000+0200}, title = {Architectural Verification of Black-Box Component-Based Systems.}, url = {http://dblp.uni-trier.de/db/conf/rise/rise2006.html#BertolinoMP06}, volume = 4401, year = 2006 }