| |
|
|
| Registros recuperados : 1 | |
| 1. |  | EK, A.; GRABOWSKI, J.; HOGREFE, D.; JEROME, R.; KOCH, B.; SCHMITT, M. Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. In: CAVALLI, A.; SARMA, A. (Ed.). SDL '97: Time for testing: SDL, MSC and trends: proceedings. Amsterdam: Elsevier, 1997. p. 245-259.| Biblioteca(s): Embrapa Agricultura Digital. |
|   |
| Registros recuperados : 1 | |
|
|
|
| Registros recuperados : 2 | |
| 1. | | GODOY, J. M.; PADOVANI, C. R.; PEREIRA, J. C. A.; VIEIRA, L. M.; CARVALHO, Z. L.; GALDINO, S. Evalution of the Rio Taquari, Pantanal, Brazil, silting up based on the 210Pb geochronology of floodplain lakes sediments. In: INTERNATIONAL SYMPOSIUM ENVIRONMENTAL GEOCHEMISTRY IN TROPICAL COUNTRIES, 3., 1999, Nova Friburgo. Book Abstracts.| Biblioteca(s): Embrapa Pantanal. |
| |
| 2. | | GODOY, J. M.; GUIMARAES, J. R. D.; PADOVANI, C. R.; PEREIRA, J. C. A.; VIEIRA, L. M.; CARVALHO, Z. L.; GALDINO, S. Mercury levels on sediment cores from a non gold mining area of the Brazilian Pantanal. In: INTERNATIONAL SYMPOSIUM ENVIRONMENTAL GEOCHEMISTRY IN TROPICAL COUNTRIES, 3., 1999, Nova Friburgo. Book Abstracts.| Biblioteca(s): Embrapa Pantanal. |
| |
| Registros recuperados : 2 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
