mhillerstrom/Verification-of-CCS-processes mhillerstrom/Verification-of-CCS-processes

  • Stars
    star
    2
  • Language
    TeX
  • Created about 8 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mhillerstrom/Verification-of-CCS-processes
github

mhillerstrom

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Verification of CSS-processes an M.Sc. Thesis by Michael Hillerström

More Repositories

1

Quasar-Cordova

A Quasar Framework app with Vue and FeathersJS full-stack app with authentication and email support implemented with mobile first in mind.
JavaScript
5
star
2

gh-action-bump-version-plus

An extended version of `gh-action-bump-version` supporting Lerna mono repos
JavaScript
1
star