Zenodo is currently experiencing slowness and intermittent outages due to heavy automated traffic from bots and AI crawlers. We are aware of the problem, and our team is focused on stabilizing the service. Thank you for your patience.

Published May 15, 2014 | Version v1.0

Software Open

ICECCS 2013

Asankhaya Sharma

Release for the paper A Refinement Calculus for Promela, ICECCS 2013

Files

SpinR-v1.0.zip

Files (109.7 kB)

Name	Size	Download all
SpinR-v1.0.zip md5:cffbeede42952c063cff90ad40531de8	109.7 kB	Preview Download

Additional details

Is supplement to: https://github.com/codelion/SpinR/tree/v1.0 (URL)

193

Views

34

Downloads

Show more details

	All versions	This version
Views	193	193
Downloads	34	34
Data volume	3.8 MB	3.8 MB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Technical metadata

Created: June 25, 2015
Modified: January 25, 2020