(2) IMDEA Software Institute)

Identifiers

• name variant (2) IMDEA Software Institute) 0.60 · backfill

Papers (1)

1. Verifying Hyperliveness cs.LO · 2020 · author #6

Mentions

• 2005.07425 #6 · arxiv_oai · confidence 0.70 (2) IMDEA Software Institute)

Frequent Coauthors

• Bernd Finkbeiner (1) 1 shared papers
• C\'esar S\'anchez (2) 1 shared papers
• Leander Tentrup (1) ((1) Reactive Systems Group 1 shared papers
• Norine Coenen (1) 1 shared papers
• Saarland University 1 shared papers