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]](https://eprints.sztaki.hu/style/images/fileicons/text.png) |
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: | https://eprints.sztaki.hu/id/eprint/7785 |
 |
Update Item |
