Bounded saturation based CTL model checking

Vörös, András and Darvas, Dániel and Bartha, Tamás (2011) Bounded saturation based CTL model checking. In: 12th Symposium on Programming Languages and Software Tools. TUT Press, Tallin, pp. 149-160. ISBN 978-9949-23-178-2

[img] Text
SPLST2011_VorosDarvasBartha.pdf
Restricted to Repository staff only

Download (408kB) | 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:16
Last Modified: 28 Mar 2014 16:16
URI: http://eprints.sztaki.hu/id/eprint/7785

Update Item Update Item