My PhD thesis.

Uppdaterad 2 månader sedan

Uppdaterad 2 månader sedan

Uppdaterad 4 månader sedan

Uppdaterad 5 månader sedan

Uppdaterad 8 månader sedan

Uppdaterad 9 månader sedan

Uppdaterad 10 månader sedan

Uppdaterad 11 månader sedan

A framework for executable UC specifications.

Uppdaterad 1 år sedan

Uppdaterad 1 år sedan

Uppdaterad 1 år sedan

Uppdaterad 1 år sedan

ramen is a status bar feeder.

Uppdaterad 1 år sedan

Uppdaterad 1 år sedan

Uppdaterad 2 år sedan

Uppdaterad 2 år sedan

Uppdaterad 2 år sedan

Uppdaterad 2 år sedan

Uppdaterad 2 år sedan

Uppdaterad 2 år sedan