Inproceedings,
Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations.
L. Ribeiro, H. Ehrig, and J. Padberg.SBES, page 1-16. SBC, (1993)
Meta data
- BibTeX key
- conf/sbes/0001EP93
- entry type
- inproceedings
- booktitle
- SBES
- year
- 1993
- pages
- 1-16
- publisher
- SBC
- crossref
- conf/sbes/1993
- ee
- https://doi.org/10.5753/sbes.1993.24392
- url
- http://dblp.uni-trier.de/db/conf/sbes/sbes1993.html#0001EP93
Tags
Users
Comments and Reviewsshow / hide
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
}