Pages that link to "Item:Q464749"

The following pages link to Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3--7, 2014. Proceedings (Q464749):

Displaying 2 items.

• Probabilistic black-box reachability checking (extended version) (Q2008284) (← links)
• Progress-preserving Refinements of CTA (Q5009458) (← links)