Linking a state-rich process algebra to a state-free process algebra to verify software / hardware implementations
You are here
| Title | Linking a state-rich process algebra to a state-free process algebra to verify software / hardware implementations |
| Publication Type | Conference Paper |
| Year of Publication | 2010 |
| Authors | Beg A, Butterfield A |
| Conference Name | FIT’10: International Conference on Frontiers of Information Technology ProceedingsFIT’10: International Conference on Frontiers of Information Technology Proceedings |
| Date Published | 2010 |
| Conference Location | Islamabad, Pakistan |
| URL | http://ulir.ul.ie/handle/10344/706 |
