|
| << vorige |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 23 van 23 gevonden artikelen
| Titel: |
Towards Maude 2.0☆ ☆ Supported by DARPA through Rome Laboratories Contract F30602-97-C-0312, by Office of Naval Research Contract N00014-99-C-0198, and by National Science Foundation Grants CCR-9505960 and CCR-9900334. |
| Auteur: |
Clave, M. Durán, F. Eker, S. Lincoln, P. Martí-Oliet, N. Meseguer, J. Quesada, J.F. |
| Verschenen in: |
Electronic notes theoretical computer science |
| Paginering: | Jaargang 36 (2000) nr. C pagina's 22 p. |
| Jaar: |
2000 |
| Inhoud: | |
| Uitgever: |
Elsevier B.V. |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 23 van 23 gevonden artikelen
| << vorige |