@inproceedings{DBLP:conf/synasc/RuizCCP06,
  author    = {M. Carmen Ruiz and
               Diego Cazorla and
               Fernando Cuartero and
               Juan Jos{\'{e}} Pardo},
  title     = {Process Algebra Specification of Flexible Manufacturing Systems},
  booktitle = {8th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing {(SYNASC} 2006), 26-29 September 2006, Timisoara,
               Romania},
  pages     = {181--186},
  year      = {2006},
  crossref  = {DBLP:conf/synasc/2006},
  url       = {https://doi.org/10.1109/SYNASC.2006.64},
  doi       = {10.1109/SYNASC.2006.64},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/synasc/RuizCCP06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

{"_id":"vrCLedpZ9LPtNXqaS","bibbaseid":"ruiz-cazorla-cuartero-pardo-processalgebraspecificationofflexiblemanufacturingsystems-2006","downloads":0,"creationDate":"2017-11-08T09:52:20.014Z","title":"Process Algebra Specification of Flexible Manufacturing Systems","author_short":["Ruiz, M. C.","Cazorla, D.","Cuartero, F.","Pardo, J. J."],"year":2006,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/c/Cuartero:Fernando","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["M.","Carmen"],"propositions":[],"lastnames":["Ruiz"],"suffixes":[]},{"firstnames":["Diego"],"propositions":[],"lastnames":["Cazorla"],"suffixes":[]},{"firstnames":["Fernando"],"propositions":[],"lastnames":["Cuartero"],"suffixes":[]},{"firstnames":["Juan","José"],"propositions":[],"lastnames":["Pardo"],"suffixes":[]}],"title":"Process Algebra Specification of Flexible Manufacturing Systems","booktitle":"8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 26-29 September 2006, Timisoara, Romania","pages":"181--186","year":"2006","crossref":"DBLP:conf/synasc/2006","url":"https://doi.org/10.1109/SYNASC.2006.64","doi":"10.1109/SYNASC.2006.64","timestamp":"Mon, 05 Jun 2017 01:00:00 +0200","biburl":"http://dblp.org/rec/bib/conf/synasc/RuizCCP06","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@inproceedings{DBLP:conf/synasc/RuizCCP06,\n author = {M. Carmen Ruiz and\n Diego Cazorla and\n Fernando Cuartero and\n Juan Jos{\\'{e}} Pardo},\n title = {Process Algebra Specification of Flexible Manufacturing Systems},\n booktitle = {8th International Symposium on Symbolic and Numeric Algorithms for\n Scientific Computing {(SYNASC} 2006), 26-29 September 2006, Timisoara,\n Romania},\n pages = {181--186},\n year = {2006},\n crossref = {DBLP:conf/synasc/2006},\n url = {https://doi.org/10.1109/SYNASC.2006.64},\n doi = {10.1109/SYNASC.2006.64},\n timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},\n biburl = {http://dblp.org/rec/bib/conf/synasc/RuizCCP06},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Ruiz, M. C.","Cazorla, D.","Cuartero, F.","Pardo, J. J."],"key":"DBLP:conf/synasc/RuizCCP06","id":"DBLP:conf/synasc/RuizCCP06","bibbaseid":"ruiz-cazorla-cuartero-pardo-processalgebraspecificationofflexiblemanufacturingsystems-2006","role":"author","urls":{"Paper":"https://doi.org/10.1109/SYNASC.2006.64"},"downloads":0},"search_terms":["process","algebra","specification","flexible","manufacturing","systems","ruiz","cazorla","cuartero","pardo"],"keywords":[],"authorIDs":[],"dataSources":["X6hizZFtb73ScJTEf"]}