{"_id":{"_str":"535fa56ebea4535b2100054d"},"__v":0,"authorIDs":[],"author_short":["Salah, A.","Mizouni, R.","Dssouli, R.","Parreaux, B."],"bibbaseid":"salah-mizouni-dssouli-parreaux-formalcompositionofdistributedscenarios-2004","bibdata":{"downloads":0,"keyword":["dblp"],"bibbaseid":"salah-mizouni-dssouli-parreaux-formalcompositionofdistributedscenarios-2004","urls":{"Paper":"http://dblp.uni-trier.de/db/conf/forte/forte2004.html#SalahMDP04","Link":"http://dx.doi.org/10.1007/978-3-540-30232-2_14"},"role":"author","year":"2004","volume":"3235","url":"http://dblp.uni-trier.de/db/conf/forte/forte2004.html#SalahMDP04","type":"inproceedings","title":"Formal Composition of Distributed Scenarios.","series":"Lecture Notes in Computer Science","publisher":"Springer","pages":"213-228","keywords":"dblp","key":"conf/forte/SalahMDP04","isbn":"3-540-23252-4","intrahash":"2cf044ea2ab8f13ca74b2639b7e35e0a","interhash":"c6dcf2bd1e77326b4608a216cedf55aa","id":"conf/forte/SalahMDP04","ee":"http://dx.doi.org/10.1007/978-3-540-30232-2_14","editor_short":["de<nbsp>Frutos-Escrig, D.","Núñez, M."],"editor":["de Frutos-Escrig, David","Núñez, Manuel"],"crossref":"conf/forte/2004","booktitle":"FORTE","biburl":"http://www.bibsonomy.org/bibtex/22cf044ea2ab8f13ca74b2639b7e35e0a/dblp","bibtype":"inproceedings","bibtex":"@inproceedings{ conf/forte/SalahMDP04,\n added-at = {2011-08-10T00:00:00.000+0200},\n author = {Salah, Aziz and Mizouni, Rabeb and Dssouli, Rachida and Parreaux, Benoit},\n biburl = {http://www.bibsonomy.org/bibtex/22cf044ea2ab8f13ca74b2639b7e35e0a/dblp},\n booktitle = {FORTE},\n crossref = {conf/forte/2004},\n editor = {de Frutos-Escrig, David and Núñez, Manuel},\n ee = {http://dx.doi.org/10.1007/978-3-540-30232-2_14},\n interhash = {c6dcf2bd1e77326b4608a216cedf55aa},\n intrahash = {2cf044ea2ab8f13ca74b2639b7e35e0a},\n isbn = {3-540-23252-4},\n keywords = {dblp},\n pages = {213-228},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n title = {Formal Composition of Distributed Scenarios.},\n url = {http://dblp.uni-trier.de/db/conf/forte/forte2004.html#SalahMDP04},\n volume = {3235},\n year = {2004}\n}","author_short":["Salah, A.","Mizouni, R.","Dssouli, R.","Parreaux, B."],"author":["Salah, Aziz","Mizouni, Rabeb","Dssouli, Rachida","Parreaux, Benoit"],"added-at":"2011-08-10T00:00:00.000+0200"},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/aziz salah?items=1000","downloads":0,"keywords":["dblp"],"search_terms":["formal","composition","distributed","scenarios","salah","mizouni","dssouli","parreaux"],"title":"Formal Composition of Distributed Scenarios.","year":2004,"dataSources":["Wb2cWcS32taMpjAEc"]}