%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 }