Generating Counterexamples for Model Checking by Transformation
You are here
| Title | Generating Counterexamples for Model Checking by Transformation |
| Publication Type | Workshop Paper |
| Year of Publication | 2016 |
| Authors | Hamilton G |
| Secondary Authors | Hamilton G, Lisitsa A, Nemytykh AP |
| URL | http://eptcs.web.cse.unsw.edu.au/content.cgi?VPT2016 |
