Ayrat Khalimov (Graz University of Technology

Identifiers

• name variant Ayrat Khalimov (Graz University of Technology 0.60 · backfill

Papers (2)

1. Specification Format for Reactive Synthesis Problems cs.LO · 2016 · author #1
2. Parameterized Synthesis Case Study: AMBA AHB cs.LO · 2014 · author #5

Mentions

• 1407.6580 #5 · backfill · confidence 0.70 Ayrat Khalimov (Graz University of Technology

Frequent Coauthors

• Austria) 2 shared papers
• Roderick Bloem (Graz University of Technology 1 shared papers
• Swen Jacobs (Graz University of Technology 1 shared papers