To unsubscribe from this group and stop receiving emails from it, send an email to prismmodelchecke...@googlegroups.com.
To view this discussion on the web, visit https://groups.google.com/d/msgid/prismmodelchecker-dev/f038077c-0b5c-e4cc-c9a6-f77501844fc4%40cs.bham.ac.uk.