Corneliu Popeea (CQSE GmbH

Identifiers

No identifiers captured yet.

Papers (1)

1. Efficient CTL Verification via Horn Constraints Solving cs.LO · 2016 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Andrey Rybalchenko (Microsoft Research 1 shared papers
• Cambridge 1 shared papers
• Germany) 1 shared papers
• Munich 1 shared papers
• Tewodros A. Beyene (fortiss GmbH 1 shared papers
• UK) 1 shared papers