|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 12 van 23 gevonden artikelen
| Titel: |
Parameterized Theories and Views in Full Maude 2.0☆ ☆ Supported by DARPA through Rome Laboratories Contract F30602-97-C-0312 and NASA Contract NAS2-98073, by Office of Naval Research Contract N00014-99-C-0198, and by National Science Foundation Grants CCR-9900334. |
| Auteur: |
Durán, Francisco Meseguer, José |
| Verschenen in: |
Electronic notes theoretical computer science |
| Paginering: | Jaargang 36 (2000) nr. C pagina's 23 p. |
| Jaar: |
2000 |
| Inhoud: | |
| Uitgever: |
Elsevier B.V. |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 12 van 23 gevonden artikelen
| << vorige | volgende >> |