mCRL2 files to model a coffee vending machine.
Primary LanguageJava
No issues in this repository yet.