https://boris-portal.unibe.ch/entities/publication/6e4ea4bb-bbc9-45ec-8049-b785b278713a
Verification of Workflow Control-Flow Patterns with the SPIN Model Checker
with the spincontrol flowverificationworkflow
https://mojosanti.blogspot.com/2019/10/we-r-memory-keepers-decorate-tumbler-spin-it-tool.html
We R Memory Keepers | Decorate a Tumbler with the Spin It Tool
Sandra's blog 'Mojosanti Pretty Paper Things' featuring inspiration for scrapbooking, layouts, cards, cardmaking, gift-wrapping, mini albums and DIY.
we r memory keeperswith the spin