Parallel saturation based model checking
Vörös, András and Szabo, Tamás and Jámbor, Attila and Darvas, Dániel and Horváth, Ákos and Bartha, Tamás (2011) Parallel saturation based model checking. In: 10th International Symposium on Parallel and Distributed Computing, ISPDC 2011. IEEE Computer Society, Cluj-Napoca, pp. 94-101. ISBN 978-0-7695-4540-0
![[img]](https://eprints.sztaki.hu/style/images/fileicons/text.png) |
Text
ISPDC2011_VorosEtAl.pdf - Accepted Version Restricted to Registered users only Download (662kB) | Request a copy |
| Item Type: | Book Section |
|---|---|
| Subjects: | Q Science > QA Mathematics and Computer Science > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány |
| Divisions: | Systems and Control Lab |
| SWORD Depositor: | MTMT Injector |
| Depositing User: | MTMT Injector |
| Date Deposited: | 28 Mar 2014 16:15 |
| Last Modified: | 28 Mar 2014 16:15 |
| URI: | https://eprints.sztaki.hu/id/eprint/7784 |
 |
Update Item |
