Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/sbes/0001EP93
%A Ribeiro, Leila
%A Ehrig, Hartmut
%A Padberg, Julia
%B SBES
%D 1993
%E do Prado Leite, Julio César Sampaio
%E da Rocha, Ana Regina Cavalcanti
%E Motta, Cláudia L. R.
%E Gattass, Marcelo
%E da Silveira, Pedro Manoel
%E de Almeida, Roberto Antonio Rodrigues
%I SBC
%K dblp
%P 1-16
%T Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations.
%U http://dblp.uni-trier.de/db/conf/sbes/sbes1993.html#0001EP93
@inproceedings{conf/sbes/0001EP93,
added-at = {2024-01-13T00:00:00.000+0100},
author = {Ribeiro, Leila and Ehrig, Hartmut and Padberg, Julia},
biburl = {https://www.bibsonomy.org/bibtex/23068d9f0b9ac86ed58ff4a2ec862c0a8/dblp},
booktitle = {SBES},
crossref = {conf/sbes/1993},
editor = {do Prado Leite, Julio César Sampaio and da Rocha, Ana Regina Cavalcanti and Motta, Cláudia L. R. and Gattass, Marcelo and da Silveira, Pedro Manoel and de Almeida, Roberto Antonio Rodrigues},
ee = {https://doi.org/10.5753/sbes.1993.24392},
interhash = {5fd8deb54921e4ba6ffc1d49940da25b},
intrahash = {3068d9f0b9ac86ed58ff4a2ec862c0a8},
keywords = {dblp},
pages = {1-16},
publisher = {SBC},
timestamp = {2024-04-09T16:00:46.000+0200},
title = {Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations.},
url = {http://dblp.uni-trier.de/db/conf/sbes/sbes1993.html#0001EP93},
year = 1993
}