My PhD thesis.

Päivitetty 1 kuukausi sitten

Päivitetty 1 kuukausi sitten

Päivitetty 3 kuukautta sitten

Päivitetty 4 kuukautta sitten

Päivitetty 7 kuukautta sitten

Päivitetty 8 kuukautta sitten

Päivitetty 9 kuukautta sitten

Päivitetty 10 kuukautta sitten

A framework for executable UC specifications.

Päivitetty 1 vuosi sitten

Päivitetty 1 vuosi sitten

Päivitetty 1 vuosi sitten

Päivitetty 1 vuosi sitten

ramen is a status bar feeder.

Päivitetty 1 vuosi sitten

Päivitetty 1 vuosi sitten

Päivitetty 2 vuotta sitten

Päivitetty 2 vuotta sitten

Päivitetty 2 vuotta sitten

Päivitetty 2 vuotta sitten

Päivitetty 2 vuotta sitten

Päivitetty 2 vuotta sitten