%0 Generic %1 spinroot %A ?, %D 2008 %K FM Spin imported %T Spin - Formal Verifiation

@misc{spinroot, added-at = {2009-03-16T17:18:16.000+0100}, author = {?}, biburl = {https://www.bibsonomy.org/bibtex/2749863d2cbd9ab3aaecd99879072c923/carolyn}, interhash = {1ef1e993808904e3d3de1cce76ab6f51}, intrahash = {749863d2cbd9ab3aaecd99879072c923}, keywords = {FM Spin imported}, month = {December}, note = {\texttt{http://spinroot.com/spin/whatispin.html}}, timestamp = {2009-03-16T17:21:23.000+0100}, title = {Spin - Formal Verifiation}, year = 2008 }