BibTeX record conf/sbes/0001EP93

download as .bib file

@inproceedings{DBLP:conf/sbes/0001EP93,
  author       = {Leila Ribeiro and
                  Hartmut Ehrig and
                  Julia Padberg},
  editor       = {Julio C{\'{e}}sar Sampaio do Prado Leite and
                  Ana Regina Cavalcanti da Rocha and
                  Cl{\'{a}}udia L. R. Motta and
                  Marcelo Gattass and
                  Pedro Manoel da Silveira and
                  Roberto Antonio Rodrigues de Almeida},
  title        = {Formal Development of Concurrent Systems using Algebraic High-Level
                  Nets and Transformations},
  booktitle    = {Proceedings of the 7th Brazilian Symposium on Software Engineering,
                  {SBES} 1993, Rio de Janeiro, RJ, Brazil, October 27-29, 1993},
  pages        = {1--16},
  publisher    = {{SBC}},
  year         = {1993},
  url          = {https://doi.org/10.5753/sbes.1993.24392},
  doi          = {10.5753/SBES.1993.24392},
  timestamp    = {Tue, 06 Feb 2024 14:19:46 +0100},
  biburl       = {https://dblp.org/rec/conf/sbes/0001EP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics