README.md 124 Bytes
Newer Older
Ballarini Paolo's avatar
Ballarini Paolo committed
1
2
3
# PRISM_ProductionLines

Generators of PRISM code for DTMC models of production line systems (blocking-after-service policy)