Items where Author is "Bartha, Tamás"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.


Darvas, Dániel and Vörös, András and Bartha, Tamás: Improving Saturation-based Bounded Model Checking. In: Acta cybernetica, (22) 3. pp. 573-589. (2016)

This list was generated on 2020. szeptember 19. 05:25:01 CEST.