Verifying train control software - An exercise in SAT-based model checking
| Date first appeared online | |
| DOI | |
| Authors | James P., Roggenbach M. |
| Journal Name | 11th JSSST Workshop on Programming and Programming Languages (PPL2009) |
| Volume |
| Date first appeared online | |
| DOI | |
| Authors | James P., Roggenbach M. |
| Journal Name | 11th JSSST Workshop on Programming and Programming Languages (PPL2009) |
| Volume |