BibTeX record conf/compsac/Siewe23

• > Home > conf/compsac/Siewe23

@inproceedings{DBLP:conf/compsac/Siewe23,
  author       = {Fran{\c{c}}ois Siewe},
  editor       = {Hossain Shahriar and
                  Yuuichi Teranishi and
                  Alfredo Cuzzocrea and
                  Moushumi Sharmin and
                  Dave Towey and
                  A. K. M. Jahangir Alam Majumder and
                  Hiroki Kashiwazaki and
                  Ji{-}Jiang Yang and
                  Michiharu Takemoto and
                  Nazmus Sakib and
                  Ryohei Banno and
                  Sheikh Iqbal Ahamed},
  title        = {Towards the Formal Analysis of {UML} Activity Diagrams in a Calculus
                  of Context-aware Ambients},
  booktitle    = {47th {IEEE} Annual Computers, Software, and Applications Conference,
                  {COMPSAC} 2023, Torino, Italy, June 26-30, 2023},
  pages        = {1691--1696},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/COMPSAC57700.2023.00261},
  doi          = {10.1109/COMPSAC57700.2023.00261},
  timestamp    = {Mon, 07 Aug 2023 15:56:21 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/Siewe23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}