Mondok, Milán and Vörös, András (2020) Abstraction-Based Model Checking of Linear Temporal Properties. In: 27th Minisymposium, 2020.02.05, Budapest.
|
Text
27Minisy_proceedings.pdf Download (169kB) | Preview |
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány Z Bibliography. Library Science. Information Resources / könyvtártudomány > ZA Information resources / információforrások > ZA4050 Electronic information resources / elektronikus információforrások |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 20 Mar 2020 09:21 |
| Last Modified: | 20 Mar 2020 09:21 |
| URI: | http://real.mtak.hu/id/eprint/107359 |
Actions (login required)
 |
Edit Item |
