%0 Conference Paper %1 di_penta_discovery_2007 %A Di Penta, Massimiliano %A Santone, Antonella %A Villani, Maria Luisa %B 2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting %C New York, NY, USA %D 2007 %I ACM %K checking; comprehension discovery; model of pattern patterns service-oriented systems; {SOA} %P 8--14 %R 10.1145/1294928.1294931 %T Discovery of SOA patterns via model checking %U http://0-doi.acm.org.innopac.up.ac.za/10.1145/1294928.1294931 %@ 978-1-59593-723-0

@inproceedings{di_penta_discovery_2007, added-at = {2013-02-28T11:13:35.000+0100}, address = {New York, {NY}, {USA}}, author = {{Di Penta}, Massimiliano and Santone, Antonella and Villani, Maria Luisa}, biburl = {https://www.bibsonomy.org/bibtex/2668d6068a15a490f21247066a59649c1/fritzsolms}, booktitle = {{2nd international workshop on Service oriented software engineering: in conjunction with the 6th {ESEC/FSE} joint meeting}}, doi = {10.1145/1294928.1294931}, interhash = {484d2b348c5f6d1b506960b7b086f67c}, intrahash = {668d6068a15a490f21247066a59649c1}, isbn = {978-1-59593-723-0}, keywords = {checking; comprehension discovery; model of pattern patterns service-oriented systems; {SOA}}, lccn = {0000}, location = {Dubrovnik, Croatia}, pages = {8--14}, publisher = {{ACM}}, series = {{{IW-SOSWE} '07}}, timestamp = {2013-02-28T11:13:45.000+0100}, title = {{Discovery of {SOA} patterns via model checking}}, url = {http://0-doi.acm.org.innopac.up.ac.za/10.1145/1294928.1294931}, year = 2007 }