Norine Coenen (1)

Identifiers

• name variant Norine Coenen (1) 0.60 · backfill

Papers (1)

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

Mentions

• 2005.07425 #1 · arxiv_oai · confidence 0.70 Norine Coenen (1)

Frequent Coauthors

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