Guarded transitions in evolving specifications
Päätekijät: | , |
---|---|
Aineistotyyppi: | Conference item |
Julkaistu: |
Springer Verlag
2002
|
Päätekijät: | , |
---|---|
Aineistotyyppi: | Conference item |
Julkaistu: |
Springer Verlag
2002
|