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] 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: http://eprints.sztaki.hu/id/eprint/7784

Update Item Update Item