Vörös, András and Darvas, Dániel and Bartha, Tamás (2013) Bounded saturation-based CTL model checking. PROCEEDINGS OF THE ESTONIAN ACADEMY OF SCIENCES, 62 (1). pp. 59-70. ISSN 1736-6046
|
Text
Proc_2013_1_59_70_u.pdf Download (805kB) | Preview |
| Item Type: | Article |
|---|---|
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 10 Jun 2015 14:25 |
| Last Modified: | 10 Jun 2015 14:25 |
| URI: | http://real.mtak.hu/id/eprint/24601 |
Actions (login required)
 |
Edit Item |
