PDF:
Bounded saturation-based CTL model checking
| Cím | Bounded saturation-based CTL model checking |
| Közlemény típusa | Journal Article |
| Kiadás éve | 2013 |
| Szerzők | Vörös, A., Darvas, D., and Bartha, T. |
| Folyóirat | Proceedings of the Estonian Academy of Sciences |
| Kötet | 62 |
| Kezdőoldal | 59 |
| Kiadás | 1 |
| Pagination | 12 |
| Kiadás dátuma | 03/2013 |
| ISSN | 1736-6046 |
| Kulcsszavak | bounded model checking, Computation Tree Logic, Multiple-valued Decision Diagram, saturation, temporal logic |
| URL | http://www.kirj.ee/21908/?tpl=1061&c_tpl=1064 |
| DOI | 10.3176/proc.2013.1.07 |
| Refereed Designation | Unknown |
