{"_id":"HC2ZTa9riBgg3ixqf","bibbaseid":"pelayo-cuartero-ruiz-cazorla-anexampleofperformanceevaluationbyusingthestochasticprocessalgebrarosa-2000","downloads":0,"creationDate":"2017-11-08T09:52:20.036Z","title":"An example of performance evaluation by using the stochastic process algebra: ROSA","author_short":["Pelayo, F. L.","Cuartero, F.","Ruiz, V. V.","Cazorla, D."],"year":2000,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/c/Cuartero:Fernando","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Fernando","L."],"propositions":[],"lastnames":["Pelayo"],"suffixes":[]},{"firstnames":["Fernando"],"propositions":[],"lastnames":["Cuartero"],"suffixes":[]},{"firstnames":["Valentín","Valero"],"propositions":[],"lastnames":["Ruiz"],"suffixes":[]},{"firstnames":["Diego"],"propositions":[],"lastnames":["Cazorla"],"suffixes":[]}],"title":"An example of performance evaluation by using the stochastic process algebra: ROSA","booktitle":"7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea","pages":"271--278","year":"2000","crossref":"DBLP:conf/rtcsa/2000","url":"https://doi.org/10.1109/RTCSA.2000.896401","doi":"10.1109/RTCSA.2000.896401","timestamp":"Mon, 05 Jun 2017 01:00:00 +0200","biburl":"http://dblp.org/rec/bib/conf/rtcsa/PelayoCRC00","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@inproceedings{DBLP:conf/rtcsa/PelayoCRC00,\n author = {Fernando L. Pelayo and\n Fernando Cuartero and\n Valent{\\'{\\i}}n Valero Ruiz and\n Diego Cazorla},\n title = {An example of performance evaluation by using the stochastic process\n algebra: {ROSA}},\n booktitle = {7th International Workshop on Real-Time Computing and Applications\n Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South\n Korea},\n pages = {271--278},\n year = {2000},\n crossref = {DBLP:conf/rtcsa/2000},\n url = {https://doi.org/10.1109/RTCSA.2000.896401},\n doi = {10.1109/RTCSA.2000.896401},\n timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},\n biburl = {http://dblp.org/rec/bib/conf/rtcsa/PelayoCRC00},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Pelayo, F. L.","Cuartero, F.","Ruiz, V. V.","Cazorla, D."],"key":"DBLP:conf/rtcsa/PelayoCRC00","id":"DBLP:conf/rtcsa/PelayoCRC00","bibbaseid":"pelayo-cuartero-ruiz-cazorla-anexampleofperformanceevaluationbyusingthestochasticprocessalgebrarosa-2000","role":"author","urls":{"Paper":"https://doi.org/10.1109/RTCSA.2000.896401"},"downloads":0},"search_terms":["example","performance","evaluation","using","stochastic","process","algebra","rosa","pelayo","cuartero","ruiz","cazorla"],"keywords":[],"authorIDs":[],"dataSources":["X6hizZFtb73ScJTEf"]}