Header fortiss wissenschaftliche Publikationen
Wissenschaftliche Publikationen

Veröffentlichungen mit Forschungsergebnissen

Efficient CTL Verification via Horn Constraints Solving

Tewodros Beyene , Corneliu Popeea und Andrey Rybalchenko

HCVS@ETAPS,

2016