BibTeX record conf/pdcat/RouisBKS18

• > Home > conf/pdcat/RouisBKS18

@inproceedings{DBLP:conf/pdcat/RouisBKS18,
  author       = {Taoufik Sakka Rouis and
                  Mohamed Tahar Bhiri and
                  Mourad Kmimech and
                  Layth Sliman},
  editor       = {Jong Hyuk Park and
                  Hong Shen and
                  Yunsick Sung and
                  Hui Tian},
  title        = {A Generic Approach for the Verification of Static and Dynamic Behavioral
                  Properties of {SCDL/WS-BPEL} Service-Component Architectures},
  booktitle    = {Parallel and Distributed Computing, Applications and Technologies,
                  19th International Conference, {PDCAT} 2018, Jeju Island, South Korea,
                  August 20-22, 2018, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {931},
  pages        = {381--389},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-981-13-5907-1\_41},
  doi          = {10.1007/978-981-13-5907-1\_41},
  timestamp    = {Sun, 25 Oct 2020 22:35:21 +0100},
  biburl       = {https://dblp.org/rec/conf/pdcat/RouisBKS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}