BibTeX record conf/icsoft/BelghiatC15

download as .bib file

@inproceedings{DBLP:conf/icsoft/BelghiatC15,
  author       = {Aissam Belghiat and
                  Allaoua Chaoui},
  editor       = {Pascal Lorenz and
                  Marten van Sinderen and
                  Jorge Cardoso},
  title        = {A Pi-calculus-based Approach for the Verification of {UML2} Sequence
                  Diagrams},
  booktitle    = {{ICSOFT-PT} 2015 - Proceedings of the 10th International Conference
                  on Software Paradigm Trends, Colmar, Alsace, France, 20-22 July, 2015},
  pages        = {87--94},
  publisher    = {SciTePress},
  year         = {2015},
  url          = {https://doi.org/10.5220/0005517900870094},
  doi          = {10.5220/0005517900870094},
  timestamp    = {Tue, 07 May 2024 20:11:39 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/BelghiatC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.