Parallele_Verteilte_Systeme/mCRL2/VendingMachine/VendingMachine.mcrl2proj

5 lines
70 B
Plaintext
Raw Permalink Normal View History

2020-04-14 17:29:33 +02:00
<root>
<spec>VendingMachine_spec.mcrl2</spec>
<properties/>
</root>