Bounded Saturation Based CTL Model Checking.
| Title | Bounded Saturation Based CTL Model Checking. |
| Publication Type | Conference Paper |
| Year of Publication | 2011 |
| Authors | Vörös, A., Darvas, D., and Bartha, T. |
| Conference Name | 12th Symposium on Programming Languages and Software Tools - SPLST'11 |
