Header fortiss scientific publications
Scientific publications

Publications with research results

Efficient CTL Verification via Horn Constraints Solving

Tewodros Beyene , Corneliu Popeea and Andrey Rybalchenko

HCVS@ETAPS,

2016