Concurrent Models of Flash Memory Device Behaviour
You are here
| Title | Concurrent Models of Flash Memory Device Behaviour |
| Publication Type | Conference Paper |
| Year of Publication | 2009 |
| Authors | Butterfield A, O’Cathain A |
| Conference Name | Proceedings of Brazilian Symposium on Formal Methods SBMF 2009Proceedings of Brazilian Symposium on Formal Methods SBMF 2009 |
| Date Published | 2009 |
| Conference Location | Gramado, Brazil |
| URL | http://hdl.handle.net/10344/583 |
