Andrey Rybalchenko (Microsoft Research

Identifiers

No identifiers captured yet.

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Cambridge 1 shared papers
• Corneliu Popeea (CQSE GmbH 1 shared papers
• Germany) 1 shared papers
• Munich 1 shared papers
• Tewodros A. Beyene (fortiss GmbH 1 shared papers
• UK) 1 shared papers